%Prolog example developed by Dr. Klerer, CSUSB append(L,L). append:-print('Usage: append( List1, List2, List3 )'). append([],L,L). append([X; L1],L2,[X; L3]) :- append(L1,L2,L3). append(L1,L2,L3,L) :- append(L1,X,L), append(L2,L3,X). append(A,B,C,D,L):-append(A,B,C,E), append(E,D,L). %t(X) :- append(X1,X2,X3,X), f(X3). %f([x]). :-print('Append(List1,List2,List1and2) loaded').