language: Prolog (swi) (swipl 5.6.64)
date: 120 days 16 hours ago
link:
visibility: public
1
2
3
4
5
6
append([],Y,Y).
append([W|X],Y,[W|Z]):- append(X,Y,Z).
reverse([],[]).
reverse([W|X],Y):- reverse(X,Xr),append(Xr,[W],Y).
 
|?-reverse(X,[a,b,c]).