私はプロローグが初めてで、このパズルの問題を解決しようとしています。プロローグの基本についてYouTubeでいくつかのチュートリアルを行いましたが、以下のパズルを解くのに助けが必要です.
2 週間前、4 人の愛好家が近所で空に物体を目撃しました。4 人はそれぞれ別の日に目撃情報を報告しました。FBI が来て、「本当に」見たものについて、各人に異なる説明をすることができました。各人がオブジェクトを目撃した日 (火曜日から金曜日) と、それが判明したオブジェクトを特定できますか?
- K氏は気球を見た人より週の早い時期に目撃したが、凧を見つけた人(Gさんではない)よりは週の後半に目撃した。
- 金曜日の目撃情報は、バーンさんか飛行機を見た人 (またはその両方) によって行われました。
- ニック氏は火曜日に目撃しなかった。
- 物体が電柱であることが判明したのはK氏ではありません。
ルールを正しく設定しましたが、ロジックをダウンパックできないようです。直接的な回答ではなく、ガイダンスを探しています。右端に、答えようとしている各質問の番号をリストしました
enthu(mr_k).
enthu(ms_barn).
enthu(ms_g).
enthu(mr_nik).
object(ballon).
object(kite).
object(plane).
object(tele_pole).
day(tuesday).
day(wednesday).
day(thursday).
day(friday).
sight(X,ballon).
sighting(mr_k):- 1
day(X),
sight(X,Y),
didntc_kite(ms_g).
friday_sight:- enthu(ms_barn); 2
saw(X,plane);
both(ms_barn,X).
nosight_tuesday(mr_nik,X). 3
no_telepole(mr_k,Y). 4