| % generated: 25 October 1989 | |
| % option(s): | |
| % | |
| % nreverse | |
| % | |
| % David H. D. Warren | |
| % | |
| % "naive"-reverse a list of 30 integers | |
| nreverse :- nreverse([1,2,3,4,5,6,7,8,9,10,11,12, | |
| 13,14,15,16,17,18,19,20,21, | |
| 22,23,24,25,26,27,28,29,30],_). | |
| nreverse([X|L0],L) :- nreverse(L0,L1), concatenate(L1,[X],L). | |
| nreverse([],[]). | |
| concatenate([X|L1],L2,[X|L3]) :- concatenate(L1,L2,L3). | |
| concatenate([],L,L). |