出発地から目的地までのフライトにいくつの停車地があるかを調べるプログラムを作成しようとしています。
flight(dgz, qyy).
flight(dgz, azi).
flight(qyy, csi).
flight(azi, tva).
flight(csi, ppg).
flight(tva, brw).
flight(brw, csi).
route(Orig, Dest, Stops) :- Stops is 0, flight(Orig, Dest).
route(Orig, Dest, Stops) :- Stops is Stops+1, flight(Orig, Layover), route(Layover, Dest).
「引数が十分にインスタンス化されていません」というエラーが表示されます。理由がわかりません。最初のルールで Stops が 0 であることを宣言しました。洞察力はありますか？ありがとう！