Unification algorithms - the most technically difficult part of query systems. With complex patterns, unification seems to require deduction
9:54 PM - 6 Aug 2016
0 replies
5 retweets
28 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.