%query: rev(i,o). /* Chin Soon Lee, Neil D. Jones and Amir M. Ben-Amram; The Size-Change Principle for Program Termination */ rev(LS,RES) :- r1(LS,[],RES). r1([],RES,RES). r1([X|Xs],Accm,RES) :- r1(Xs,[X|Accm],RES). /*TWDESC Reverse function, with accumulating parametres */ /*TWDEMO selected_norms([listlength]). settings([cm=poly_mc,widenk=2]). */ /*. */
content may be truncated. 'popout' for larger text window.
