事实之后的序言削减

Question

我在Prolog中，我有这个事实：

likes(mary,juice).

我想在这个事实之后削减

likes(mary,juice),!.

但是Prolog编译器不允许我这样做。 为什么不正确？ （选择此事实后，我想防止回溯）

Answer 1

正如评论所建议的那样，您必须将事实转化为规则，以将切入规则的主体中：

likes(mary, juice) :-
    !.

（通常会出现关于裁切的警告。它可能会以您意想不到的方式改变程序的含义，应避免使用，除非您确切地知道自己在做什么并且确实需要它提供的加速。）