Mar 19, 2002 #2 pimi Programmer Mar 18, 2002 36 JP cat([], Y, Y). cat([X|XR], Y, [X|Z]) :- cat(XR, Y, Z). ?- cat([a], [], X). X = [a] ; no ?- cat([], [a], X). X = [a] ; no ?- cat([a, b], [c, d, e], X). X = [a,b,c,d,e] ; no Upvote 0 Downvote
cat([], Y, Y). cat([X|XR], Y, [X|Z]) :- cat(XR, Y, Z). ?- cat([a], [], X). X = [a] ; no ?- cat([], [a], X). X = [a] ; no ?- cat([a, b], [c, d, e], X). X = [a,b,c,d,e] ; no