Testen in der Konsole

Question

Die Abfrage ?- go(c, g). gibt false zurück, gibt aber für ?- go(a, d). den Wert wahr an. Ich verstehe es nicht wirklich, da ich die richtigen Regeln hinzugefügt habe, und für die meisten von ihnen funktioniert es.

Hier sind die Aussagen Ich verwende:

door(a, b). 
door(b, c). 
door(c, d). 
door(b, e). 
door(e, f). 
door(e, g). 

go(FromRoom, ToRoom):- 
    door(FromRoom,ToRoom). 

go(FromRoom, ToRoom):- 
    door(ToRoom, FromRoom). 

go(FromRoom, ToRoom) :- 
    door(FromRoom, NextRoom), 
    go(NextRoom, ToRoom), !. 

go(FromRoom, ToRoom):- 
    door(ToRoom,NextRoom), 
    go(NextRoom, FromRoom), !. 

Answer 1

Sie müssen Akkumulator Ihr Prädikat hinzufügen wurde in inf Schleife zu vermeiden, stecken.

door(a, b). 
door(b, c). 
door(c, d). 
door(b, e). 
door(e, f). 
door(e, g). 

go(From, To, T) :- 
    T=[From|T1], 
    go(From, To, [To], T1). 
go(From, To,T, T) :- 
    door(From, To),!. 
go(From,To,T,T) :- 
    door(To,From),!. 
go(From, To, Acc,T) :- 
    door(X, Do),!, 
    \+ member(X, Acc), 
    go(From, X, [X|Acc],T). 
go(From,To,Acc,T) :- 
    door(X,Z),!, 
    \+member(Z,Acc), 
    go(X,To,[X|Acc],T). 

Answer 2

Sie sollten vierte Regel

go(FromRoom, ToRoom):- 
door(ToRoom,NextRoom), 
go(FromRoom,NextRoom),!. 

lesen, weil Sie bereits die Suchreihenfolge/2 Aufruf Tür getauscht, aber dies führt, wie richtig bemerkt von @whd zu Looping. Hier ist eine Version, die 'Rückkehr' der Weg

go(Room, Room, Path, Path). 

go(FromRoom, ToRoom, SoFar, Path) :- 
    (door(FromRoom, NextRoom) ; door(NextRoom, FromRoom)), 
    \+ member(NextRoom, SoFar), 
    go(NextRoom, ToRoom, [NextRoom|SoFar], Path). 

Test:

?- go(c,g,[],P). 
P = [g, e, b, c, d] ; 
P = [g, e, b] ; 
false. 

Aufgrund Prolog Suchauftrag, ist es eine Tour dauert 'in d, bevor sie wieder gehen. Es ist leicht zu vermeiden, auf den SoFar-Parameter auf der obersten Ebene Anruf zu handeln ...