This is Popper's reverse problem.

hakank.
'''
Here's a new problem.
pos(f([1,2,3,4],[4,3,2,1])).
pos(f([1,2,3,4,1],[1,4,3,2,1])).
pos(f([a,b,c],[c,b,a])).
pos(f([a,b,c,d,e,f],[f,e,d,c,b,a])).
neg(f([a,b,c],[a,b,c])).
neg(f([a,b,c],[])).
neg(f([a,b],[a])).
neg(f([a,b,c],[b,c])).
neg(f([1,2,3,4],[1,4,3,2])).
'''

GPT4:
'''
The pattern is that for each input list, the output list is the reverse of the input list. In other words, the output list has the same elements as the input list but in the opposite order.

For example:

    Input: [1, 2, 3, 4], Output: [4, 3, 2, 1]
    Input: [a, b, c], Output: [c, b, a]
'''

Which is correct. Great.

I didn't ask for any program on this.