Prolog：ある都市から収集都市へのルートを見つける

Question

私はフライトに関する事実のリストを持っていますが、ある都市からリストの都市へ順番にすべてのルートを返す予測を書くにはどうすればいいですか？例えば、romeから[moscow, amsterdam]までのすべてのルート。

flight(london,dublin). 
flight(rome,london). 
flight(rome,paris). 
flight(paris,dublin). 
flight(berlin,moscow). 
flight(paris,amsterdam). 
flight(berlin,dublin). 
flight(london,newyork). 
flight(dublin,newyork). 
flight(dublin,cork). 
flight(dublin,rome). 
flight(dublin,chicago). 
flight(amsterdam,hongkong). 
flight(london,hongkong). 
flight(dublin,amsterdam). 

Answer 1

があり、いくつかの直行便がある場合は、パスを存在：

route(X,Y,L):- 
    route(X,Y,L,[X]). 

route(X,Y,L,K):- 
    flight(X,Y), 
    reverse([Y|K],L). 

または接続されているZがXあるとZがYに接続されているいくつかのZように存在する場合。あなたは1つのリスト内のすべてのパスを検索したい場合は

route(X,Y,L,E):- 
    flight(X,Z), 
    \+ member(Z,E), 
    route(Z,Y,L,[Z|E]). 

その後、プロローグ事前に定義された述語からfindall/3を使用しています。