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