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中，原子由以小写字母开头的标识符表示。以大写字母或下划线_开头的标识符表示逻辑变量。