问题描述
基于我的问题Prolog: define logical operator in Prolog as placeholder for other operator，现在我要建立一个命题谓词，我想在序言中实现双重否定。不幸的是，我建立了：像（？：-proposition（-a））之类的调用会导致语法错误。
有没有一种方法可以解决这个问题而又不损失我的操作员-？
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）