Prolog 谓词

Question

我目前正在学习 Prolog 中的谓词逻辑。我无法回答有关该主题的问题，并且想知道使用 Prolog 谓词解决此类问题所采取的步骤。我有一个场景，它必须在 Prolog 谓词中仅使用两个不同的谓词名称来表示。

1. A 和 B 结婚了
2. B 喜欢 C
3. C和D结婚了
4. D 喜欢 E
5. F 喜欢 B
6. E 喜欢 B
7. E 和 G 结婚了
8. A 喜欢 G

Answer 1

只要写下它的内容。

are_married(a,b).

likes(b,c).

等等。到目前为止，我们已经使用了两个谓词名称。

在 Prolog 中，原子由以小写字母开头的标识符表示。以大写字母或下划线_ 开头的标识符表示逻辑变量。