f(A, B) :-
    append([1,2,3,4], A, X),
    X = B.