%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%                         phiCAD2NC                         %%%
%%%                     Library Functions                     %%%
%%% Michael Sintek                 First Version: August 1991 %%%
%%% Harold Boley, Markus Perling   Current Version: June 1997 %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%




appfun([],L) :& L.
appfun([H|R],L) :& tup(H|appfun(R,L)).

rf-last([Last]) :& Last.
rf-last([First|Rest]) :& rf-last(Rest).

rf-max([X]) :& X.
rf-max([H|T]) :& max(H,rf-max(T)).

rf-member(X,[X|R]).
rf-member(X,[Y|R]) :- rf-member(X,R).

rf-nth(0,[H|T]) :& H.
rf-nth(No,[H|T]) :& rf-nth(1-(No),T).