序言 - 使用動態斷言

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的建議達成一致。斷言/回退只能在某些情況下使用，因爲在某些應用中可能相當有效。