刪除或列表中SWI-Prolog的

Question

還有一個問題，我已經刪除了良好的工作「功能」：

remove([],X,[]) :- !. 
remove([X|T],X,L1) :- !, remove(T,X,L1).   
remove([H|T],X,[H|L1]) :- remove(T,X,L1). 

但它不喜歡的工作，我希望它工作。 它刪除元素或甚至列表...

...但不刪除所有外觀。這就是目標：

remove([A,B,[C],[A,[B]],[[A,[B]]]],[A,[B]],X). 
X=[A,B,[C],[]] 

任何想法？

Answer 1

如果你想刪除所有出現例如，讓除去（[1,2,3,1]，1，X）計算X = [2,3]只是替換

remove([X|T],X,L1) :- remove(T,X,L1), !. 

第二條款

但是，您似乎希望a）使用應作爲變量保存的變量，以及b）從子列表中刪除列表。

我們將首先解決b）問題。

remove([],_,[]) :- !. 
remove(A,_,A) :- \+ (A = [_|_]), !. 
remove([X|T],X,L1) :- remove(T,X,L1), !.   
remove([H|T],X,[G|L1]) :- remove(H,X,G), remove(T,X,L1). 

正如您所看到的，我們將第二個遞歸調用添加到最後一個子句來處理內部列表。此外，由於第一個參數不一定是列表，我們必須添加一個特例（第二個子句）。

最後，要解決a）需要使用Sterling和Shapiro的「freeze」/「melt」謂詞。凍結用表達式#VAR（0），＃VAR（1），...替換變量，而熔化則相反。熔體傳統上被稱爲melt_new

numvars('#VAR'(N),N,N1) :- N1 is N+1. 
numvars(Term,N1,N2) :- nonvar(Term), functor(Term,_,N), 
          numvars(0,N,Term,N1,N2). 

numvars(N,N,_,N1,N1). 
numvars(I,N,Term,N1,N3) :- I<N, I1 is I+1, 
      arg(I1,Term,Arg), numvars(Arg,N1,N2), 
      numvars(I1,N,Term,N2,N3). 

frz(A,B) :- frz(A,B,0). 
frz(A,B,Min) :- copy_term(A,B), numvars(B,Min,_),!. 


melt_new(A,B) :- 
    melt(A,B,Dictionary), !. 

melt('$VAR'(N),X,Dictionary) :- 
    lookup(N,Dictionary,X). 
melt(X,X,Dictionary) :- 
    constant(X). 
melt(X,Y,Dictionary) :- 
    compound(X), 
    functor(X,F,N), 
    functor(Y,F,N), 
    melt(N,X,Y,Dictionary). 

melt(N,X,Y,Dictionary) :- 
    N > 0, 
    arg(N,X,ArgX), 
    melt(ArgX,ArgY,Dictionary), 
    arg(N,Y,ArgY), 
    N1 is N-1, 
    melt(N1,X,Y,Dictionary). 
melt(0,X,Y,Dictionary). 

/* 
    lookup(Key,Dictionary,Value) :- 
    Dictionary contains the value indexed under Key. 
    Dictionary is represented as an ordered binary tree. 

*/ 

    lookup(Key,dict(Key,X,Left,Right),Value) :- 
     !, X = Value. 
    lookup(Key,dict(Key1,X,Left,Right),Value) :- 
     Key < Key1 , lookup(Key,Left,Value). 
    lookup(Key,dict(Key1,X,Left,Right),Value) :- 
     Key > Key1, lookup(Key,Right,Value). 

順便說一句，我真的建議英鎊和夏皮羅「序言的藝術」的書。 熔融和冷凍在第15章中討論。