Prolog "Out of local stack" Error

prolog failure-slice transitive-closure
Pingu picture Pingu · Feb 13, 2014 · Viewed 12.7k times · Source

Here is my simple Prolog program:

friend(X,Y):-
   knows(X,Y).
friend(X,Z):-
   friend(X,Y),
   friend(Y,Z).

knows(brian,tom).
knows(tom,peter).

If I type the following query

friend(brian,peter).

Prolog will give the following output:

?- friend(brian,peter).
true

If a further type a semicolon, Prolog will say:

ERROR: Out of local stack

What am I doing wrong here?

Answer

Paulo Moura picture Paulo Moura · Feb 13, 2014

The error is in the second clause. It should be instead:

friend(X,Z):-
   knows(X,Y),
   friend(Y,Z).

Otherwise, when you ask Prolog for more solutions, you end up having the friend/2predicate recursively calling itself without first establishing a knows/2intermediate relation. You can learn more about the bug in your program by tracing the calls to the friend/2 predicate. Try:

?- trace, friend(brian,peter).

Related questions

Prolog program to find equality of two lists in any order

I wanted to write a Prolog program to find equality of two lists, where the order of elements doesn't matter. So I wrote the following: del(_, [], []) . del(X, [X|T], T). del(X, [H|T], [H|T1]) :- X \= H, …

Read More
Prolog: check if two lists have the same elements

I am new to Prolog and I am having a problems checking if two lists have exactly the same elements. It is possible for the elements to be in different orders. I have this code: myremove(X, [X|T], T). …

Read More
'if' in prolog?

Is there a way to do an if in prolog, e.g. if a variable is 0, then to do some actions (write text to the terminal). An else isn't even needed, but I can't find any documentation of if.

Read More