home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / sharew / pdpro / samples / routine.pro < prev    next >
Encoding:
Text File  |  1994-02-22  |  384 b   |  12 lines
  1. append([],L,L).
  2. append([Z|L1],L2,[Z|L3]) :- append(L1,L2,L3).
  3.  
  4. printstring([]).
  5. printstring([H|T]) :- put(H), printstring(T).
  6.  
  7. ret(X) :- X(_),retract(X(_)),ret(X).
  8. ret(X) :- X(_,_),retract(X(_,_)),ret(X).
  9. ret(X) :- X(_,_,_),retract(X(_,_,_)),ret(X).
  10. ret(X) :- nl,print(X,' has been retracted').
  11. /*         final atn program    */
  12.