在WAM Prolog中实施否定\ +或非/ 1

问题描述

您将如何在WAM中实现按故障排除（\+）？或（->;）软剪切。我们假设实现了剪切。

例如，一次被swi-pl描述为

once(Goal) :-
    Goal,!.

要添加其他来源，Wikipedia本身只是含糊的“执行\ +”。

否定表示采用谓词的值，即如果为真，则为假，反之亦然。 但是，WAM不会返回值，而是将“失败”描述为一种操作。我会将其实现为goto fail等。

我无法理解该值的确切位置（在高级描述中，Goal具有真实值，但在低级基础上，它是一项操作），或者您是否会扩展wam以及如何扩展

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）