list_reversed(Xs, Ys) :-
	list_reversed(Xs, Ys, []).

list_reversed([], Ys, Ys).
list_reversed([X|Xs], Ys0, Ys) :-
	list_reversed(Xs, Ys0, [X|Ys]).

:- pe list_reversed([X1,X2|Xs], Ys).
-----         n599 ------------------------
Immediate feedback allows the student to do more experiments in less time. To understand a tool like Mixtus certainly means also to understand its limitations. Let's push Mixtus to its limits!

We want to specialize a goal where we already know that its first argument contains a list of at least two elements, so evidently there is some information for Mixtus to work on. Is this worth doing?
**NEXT:[DO].

[logprog|GUPU|UWN]