3 Mar 2004
CS3243 - Inference
38
Prolog
lAppending two lists to produce a third:
l append([],Y,Y).                        
l append([X|L],Y,[X|Z]) :- append(L,Y,Z).
l
lquery:   append(A,B,[1,2]) ?           
l
lanswers: A=[]    B=[1,2]
l         A=[1]   B=[2]
l         A=[1,2] B=[]