我正在尝试在SWI Prolog中定义一个运算符。
:- op(700, xfx, and).
当我用上述行加载文件时，它返回true，但是当我尝试p and q时，我回来了：
ERROR: Undefined procedure: (and)/2 (DWIM could not correct goal)
我浏览了文档，但这非常少。
答案 0 :(得分：1)
将原子and定义为前缀运算符使a and b成为语法有效的术语，但并未定义and/2 谓词，因此出现了错误。
您的问题暗示您正在尝试为命题逻辑编写一些代码。是这样吗？