Prolog：无法增加复杂项内变量的值

Question

因此，我正在处理一个序言问题，在一个复杂的术语中定义了一个状态，当我尝试在此复杂术语中增加x的值时，没有任何

CurrentState(left, x, y).



test = CurrentState(left, x,y),
newX = x + 1,
write(newX).

事情发生吗？

Answer 1

事实和谓词需要从小写字母开始。

变量需要从大写字母开始。

=不是分配，并且Prolog Predicates不是函数调用，并且您永远都不会使用test。

即使那样，当您没有给出X值任何值时，您还是要X + 1做什么？这没有比左 + 1这样写的更有意义。

这一切都更像是：

currentState(left, 5, 2).   % fact

test(NewX) :-
    currentState(Direction, X, Y),   % search for the fact, fill the variables.
    NewX is X + 1,                   % new variable for new value.
    write(NewX).

然后，

?- test(NewX).
6
NewX = 6

在此之后，您仍然不想将状态存储为Prolog数据库中的事实并删除/断言。