SWI-Prolog Prolog 如何处理逻辑比较

Question

我在SWI-Prolog中编写了以下代码：

:- dynamic state_a/1 .
 :- dynamic state_b/1 .
 :- dynamic state_c/1 .
 state_a([1,2,3,4,5,0]).
 state_b([0]).
 chop(LIST,HEAD,TAIL) :- LIST=[HEAD|TAIL].
 move_ab :- !,state_a(X),
            chop(X,Ha,Ba),
            Ha>0,
            state_b(Y),
            chop(Y,Hb,Bb),!,
            (Ha<Hb ; Hb =:= 0),
            asserta(state_a(Ba)),asserta(state_b([Ha|Y])),
            retract(state_a(X)), retract(state_b(Y));
            write('Wrong Move.Choose Another').

我的代码中有2个OR(;)。当我第一次在 Prolog 中询问 move_ab 时，第二个 OR 之前的所有条件都为 true，因此我从 Prolog 中得到答案 true。 但当我第二次在 Prolog 中询问 move_ab 时，我得到的只是答案假。 我不知道这是怎么发生的。第二个 OR 之前的一些条件不成立，因此 Prolog 应该检查第二个 OR 之后的条件并向我写消息Wrong Move.Choose Another.。 我尝试使用 () 对条件进行分组，但仍然收到相同的消息。 知道发生了什么吗？顺便说一句，我是 Prolog 的新手，两天前才开始:)

Answer 1

问题在于在正确测试条件之前使用 cut (!/0)。剪切删除选择点。这里，这意味着在您测试任何内容之前，这些选择就被删除了。因此，如果测试失败，一切都会失败！

顺便说一句，操作数据库可能不是最好的主意。为了表示状态，您可以使用全局变量，如下所示：

:- nb_setval(state_a, [1,2,3,4,5,0]).
:- nb_setval(state_b, [0]).

move_ab :-
    nb_getval(state_a, [Ha|Ta]),
    Ha > 0,
    nb_getval(state_b, [Hb|Tb]),
    (Ha < Hb ; Hb =:= 0),
    nb_setval(state_a, Ta),
    nb_setval(state_b, [Ha, Hb|Tb]),
    !
    ;
    write('Wrong Move.Choose Another').

给 prolog 初学者的一般建议是尽可能远离数据库操作，因为通常没有它就可以解决问题。虽然这可能是合理的，但全局变量会更快、更容易操作。