我正在Prolog(swi-prolog)中做我的第一步,无法解决以下问题:如何将存在量化的规则包括在我的事实中; 具体来说,我怎么能把句子"每个人都是某人的朋友" \forall x \exists y friend(x,y)作为一个事实呢？到目前为止我发现的每一个问题都只是关于查询而不是事实 谢谢!
\forall x \exists y friend(x,y)
logic prolog existential-operator
existential-operator ×1
logic ×1
prolog ×1