在 Prolog 中解决一个难题

Question

我是 prolog 的新手，我正在尝试解决这个难题。我在 youtube 上做了一些关于 prolog 基础的教程，但我需要一些帮助来解决下面的难题。

两周前，四位爱好者在他们附近的天空中目击了天体。这四个人都在不同的日子报告了他或她的目击事件。联邦调查局来了，能够给每个人不同的解释，说明他或她“真正”看到了什么。你能确定每个人在哪一天（周二到周五）看到这个物体，以及它原来是那个物体吗？

1. 先生K 在本周早些时候的某个时间比看到气球的人发现了他，但在本周晚些时候的某个时间，比发现风筝的人（不是 G 女士）。
2. 星期五的目击事件是由 Barn 女士或看到飞机的人（或两者兼有）发现的。
3. 先生Nik 周二没有出现。
4. 先生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

Answer 1

我知道您没有要求解决方案，但我发现如果没有可行的解决方案，我很难描述该怎么做。对此我深表歉意。

我会这样做：

/* 1. K 先生在本周早些时候的某个时间比看到气球的人发现了他，但在本周晚些时候的某个时间，比发现风筝的人（不是 G 女士）发现了他的视线。 2. 星期五的目击事件是由 Barn 女士或看到飞机的人（或两者兼有）造成的。 3. Nik 先生周二没有出现。 4. K 先生不是那个对象原来是电线杆的人。 */ ?- % 设置列表列表作为最终解决方案 天数 = [[星期二,_,_],[星期三,_,_],[星期四,_,_],[星期五,_,_]], /* 1 */ before([_,mr_k,_],[_,_,balloon],Days), /* 1 */ before([_,_,kite],[_,mr_k,_],Days), /* 2 */ (member([friday,ms_barn,_],Days); 成员（[星期五，_，飞机]，天）​​； 成员（[星期五，ms_barn，飞机]，天）​​）， % 填写其余的人 成员（[[_,mr_k,_],[_,ms_barn,_],[_,ms_g,_],[_,mr_nik,_]],天）， % 填充其余对象 成员（[[_,_,气球],[_,_,风筝],[_,_,飞机],[_,_,tele_pole]],天）, % 否定应该在解决方案被填充后完成 /* 1 */ 成员([_,NOT_ms_g,kite],Days), NOT_ms_g \= ms_g, /* 3 */ member([tuesday,NOT_mr_nik,_],Days), NOT_mr_nik \= mr_nik, /* 4 */ 成员([_,NOT_mr_k,tele_pole],天), NOT_mr_k \= mr_k, 写（天）， nl, 失败。 % 检查 `X` 是否在 `Y` 之前 % 在列表 `Ds` 之前（X，Y，Ds）：- 余数（X，Ds，Rs）， 成员（Y，Rs）。 % 找到一个列表的成员并且 % 统一第三个参数如 % 它是剩余的元素 % 找到成员之后的列表 余数（X，[X|Ds]，Ds）。 余数（X，[_|Ds]，Rs）：- 余数（X，Ds，Rs）。 % `member` 的扩展版本 % 检查第一个列表的成员是否 % 是第二个的所有成员 成员（[]，_）。 成员（[X|Xs],Ds）：- 成员（X，Ds）， 成员（Xs，Ds）。

这给了我：

[[星期二，ms_g，tele_pole]， [星期三，mr_nik，风筝]， [星期四，mr_k，飞机]， [星期五，ms_barn，气球]]