Prolog：如何执行“检查(a++b++c++d 等于 d++a++ ;c++b) ->是的”
让我们定义自定义运算符 - 让它为 ++、equals :- op(900, yfx, equals). :- op(800, xfy, ++). 事实上： check(A equals A). 我尝试创建谓词，让它为 …
Prolog - 命题逻辑中的公式
我正在尝试创建一个谓词来验证给定的输入是否代表一个公式。 我只能使用命题原子，如 p、q、r、s、t 等。 我必须测试的公式如下： neg(X) - represent…
- 共 1 页
- 1
