我想在Prolog中编写以下约束，是否可能？
C1(x, y) : isSU(x) ∧ isSU(y)
请注意，isSU是一个用户定义的谓词，它读取配置文件，并检查其输入参数（此处为x或y）是否具有某种条件。 实际上我的问题是，我不知道如何在Prolog中定义用户定义的谓词。另一件事是我不知道如何在Prolog的规则中使用通用和存在量词。
感谢您的回答。 阿里达乌迪安
答案 0 :(得分：1)
在SWI-Prolog中，您的约束将以这样的方式编写：
c1(X, Y) :- isSU(X), isSU(Y).
其余的我建议读一本书。这里有关于Prolog编程的免费书籍清单：https://stackoverflow.com/tags/prolog/info