Question

I would like to create an argument that succeeds when a list proceeds another list.

For example ?-proceed_list([1,2],[2]). Yes or True(whatever the compiler).

Can anyone help me?

Answer 1

Your question is hard to parse. As aqua commented, you should rephrase it. For what it’s worth, I understand your example that you want to check whether the second list [2] is the tail of the first [1,2] (i.e., “proceed” in the sense of “continue”). If that’s what you want, then this should work:

proceed_list(L1, L2) :-
    once(append(_, L2, L1)).