Prolog "Out of local stack" Fehler

Hier ist mein einfaches Prolog-Programm:

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

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

Wenn ich geben Sie die folgende Abfrage

friend(brian,peter).

Prolog geben Sie die folgende Ausgabe:

?- friend(brian,peter).
true

Wenn ein weiterer Typ ein Semikolon, Prolog sagen:

ERROR: Out of local stack

Was mache ich hier falsch?

InformationsquelleAutor Pingu | 2014-02-13

  1. 5

    Der Fehler ist in der zweiten Klausel. Es sollte stattdessen:

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

    Sonst, wenn Sie Fragen, Prolog für weitere Lösungen ist, dass die friend/2Prädikat rekursiv sich selbst aufrufenden ohne zuvor die Gründung einer knows/2intermediate-Verhältnis. Sie können lernen, mehr über die Fehler in Ihrem Programm durch die Verfolgung der Aufrufe der friend/2 Prädikat. Versuchen:

    ?- trace, friend(brian,peter).
    es funktioniert, vielen Dank!

    InformationsquelleAutor Paulo Moura

  2. 1

    Verstehen, die die Quelle der nicht-Kündigung in Ihrem Programm, und es genügt zu schauen, die folgende failure-slice:

    Freund(X,Y):- false 
 - kennt(X,Y). 
Freund(X,Z):- 
Freund(X,Y), false, 
Freund(Y,Z). 

weiß(brian,tom) :- false. 
 - kennt(tom,peter) :- false.

    Es ist, weil der friend(X, Z) :- friend(X, Y), ..., dass Ihr Programm wird nicht beendet. Es werden Antworten hervorbringen, hier und da, aber letztlich wird es Schleife. Für mehr, siehe failure-slice.

    InformationsquelleAutor false

Schreibe einen Kommentar