Prolog的谓词(Prolog predicates)

我目前了解的Prolog的谓词逻辑。 我有麻烦的话题回答问题，并想知道的步骤一一拿地解决使用Prolog的谓词这样的疑问。 我必须在Prolog的谓词仅使用两个不同的谓词名称来表示的情况。

1. A和B结婚
2. 乙喜欢ç
3. C和d结婚
4. d喜欢è
5. ˚F喜欢乙
6. Ë喜欢乙
7. E和G结婚
8. 一个喜欢摹

Answer 1:

请写下它说什么。

are_married(a,b).

likes(b,c).

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

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

文章来源: Prolog predicates