अंतर सूची में अधूरा

Question

मैं अपूर्ण सूचियों को अंतर सूची में बदलना चाहता हूं और इसके विपरीत।

यह अंतर करने के लिए नियमित रूप से सूची कन्वर्ट करने के लिए कोड है:

reg2diff(L,X-Y):-append(L,Y,X). 

मैं दूसरी दिशा कैसे जाते हैं?

Answer 1

अंतर सूची अपूर्ण:

inc2diff(L,Z):- 
    ( nonvar(L) 
    -> (L=[_|T] -> inc2diff(T,Z) ; L=[] -> Z=[]) 
    ; L=Z 
). 

23 ?- L=[1,2,3|_],inc2diff(L,X). 
L = [1, 2, 3|X]. 

24 ?- L=[1,2,3|Z],inc2diff(L,X). 
L = [1, 2, 3|X], 
Z = X. 

25 ?- L=[1,2,3],inc2diff(L,X). 
L = [1, 2, 3], 
X = []. 

Answer 2

| ?- listing(dl_list),dl_list([a,b,c,d|X]-X,L). 

% file: ...util.pg 

dl_list(A - [], A). 

L = [a,b,c,d] 
X = [] 

yes