News for hackers. Stuff that matters.

A comment on A Short Introduction to Prolog. Parent comment

Re:A Short Introduction to Prolog by jimwise on Friday August 05, 2011 @12:10PM (#2850550)
though be careful how you do this -- it's easy to end up with a divergent program, as prolog tries to:

* prove X(A,B)

* realizes that it can prove this if it can prove transitive(X, A, B, C), and then prove X(B,A)

* realizes that it can prove this if it can prove transitive(X, B, A, C), and then prove X(A,B)

* ...

[ Parent | on HN ]
Re:A Short Introduction to Prolog by swannodette on Friday August 05, 2011 @12:12PM (#2850558)
Such behavior is easily avoided with tabling.
[ Parent | on HN ]
Re:A Short Introduction to Prolog by jimwise on Friday August 05, 2011 @01:17PM (#2850819)
There are a couple of ways around this -- all of which fall under "be careful". :-)
[ Parent | on HN ]