News for hackers. Stuff that matters.
Re:Why Learning Prolog Can Make You a Better Programmer by tsewlliw on Friday April 08, 2011 @02:43PM (#2425103)
not that depth first search isn't a pretty good analogy for what happens, but I believe it's SLDNF resolution, and I'm not 100% sure the exact algorithm is mandated by the language, though it might be for cuts.

There are no comments on this comment yet.