/**
 * append はもともと標準ライブラリーで使われている名前なので myappend という名前で定義する。 
 */
 
myappend([], Y, Y).
myappend([H|X], Y, [H|Z]) :- myappend(X, Y, Z).
 
program :- 
    findall((X, Y), myappend(X, Y, [1,2,3]), Bag),
    print(Bag).