定义相同谓词三遍

Question

我是Prolog的新手，我对定义谓词有疑问。我正在阅读一些代码，其中多次定义了相同的事实：

sister(jenny, sarah).
sister(jenny, sarah).
sister(jenny, sarah).

据我了解，这是一个事实，表示詹妮和莎拉是姐妹，但此代码重复了三遍。这有什么意义？

Answer 1

sister(jenny, sarah).
sister(jenny, sarah).
sister(jenny, sarah).

  

这有什么意义？

没有。这是一个错误。

---

关于

  

这是一个功能

Prolog没有功能，只有谓词。

关于

  

相同谓词三遍

这些不是谓词，而是事实，因为它们没有:-或body。