home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / PART.LF < prev    next >
Text File  |  1996-06-04  |  384b  |  17 lines
  1. % FILE. . . . . /_/udir7/_/hassan/life/part
  2. % EDIT BY . . . Hassan Ait-Kaci
  3. % ON MACHINE. . Prl316
  4. % STARTED ON. . Fri Apr 12 17:38:02 1991
  5.  
  6. % Last modified on Fri Jan 24 14:36:57 MET 1992 by mezhoud
  7. %      modified on Fri Apr 12 17:40:03 1991 by Hassan
  8.  
  9. leq(0,X).
  10. leq(Y+1,X) :- (1=<X)=true,
  11.           leq(Y,X-1).
  12.  
  13. part([],0).
  14. part([H|T],X) :- leq(H,X),
  15.          (H=\=0)=true,
  16.          part(T,X-H).
  17.