标签： prolog logic existential-operator
我正在Prolog（swi-prolog）中完成我的第一步，无法解决以下问题：如何将存在量化的规则包含在我的事实中;具体来说，我如何将“每个人都是某人的朋友”\forall x \exists y friend(x,y)作为一个事实包括在内？到目前为止我发现的每一个问题都只是关于查询而不是事实谢谢！
\forall x \exists y friend(x,y)