序言 - 使用动态断言

Question

我是新来的Prolog，我很难用动态谓词。

首先，这里我执行

:- dynamic(list/1). 

add(X, LL) :- asserta(list([])), asserta(list(X)), retract(list(LL)). 

代码我知道代码看起来怪异，但我只是在寻找使用正确的语法。

现在，如果我这样做：

add（2，LL）。

答案将是：

LL = 2;

LL = []。

但我想要做的是将X（2）添加到数组（[]）中。所以..

LL = [2]。

它看起来很简单（可能是），但我无法得到它的工作。

非常感谢。

Answer 1

如果你想添加X到列表的前面：

add(X, LL) :- 
    ( retract(list(Prev)) 
    -> LL = [X|Prev] 
    ; LL = [X] 
    ), 
    asserta(list(LL)). 

但我@ jschimpf的建议达成一致。断言/回退只能在某些情况下使用，因为在某些应用中可能相当有效。