home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / BAGOF1.LF < prev    next >
Text File  |  1996-06-04  |  216b  |  18 lines
  1.   
  2. p({1;2;3}).
  3.  
  4. q({fact; +(2 => 44);sqrt}).
  5.  
  6. ex1 :-
  7.         L=bagof(X,p(X)),
  8.         write(L),
  9.         nl.
  10.  
  11. ex2 :-
  12.         L=bagof(F(5),q(F)),
  13.         write(L),
  14.         nl.
  15.  
  16. fact(0) -> 1.
  17. fact(N:int) -> N*fact(N-1).
  18.