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.
[ Parent
| on HN ]
There are no comments on this comment yet.