home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / APPLY.LF < prev    next >
Text File  |  1996-06-04  |  237b  |  16 lines

  1. quadruple -> *(2=>4).
  2. pick_arg({5;3;7}).
  3. pick_func({quadruple;fact}).
  4. test :-    R=F(A),
  5.     pick_arg(A),
  6.     pick_func(F),
  7.     write(    'function ',F,
  8.         ' applied to argument ',A,
  9.         ' is ', R),
  10.     nl,
  11.     fail.
  12.  
  13. fact(0) -> 1.
  14. fact(N:int) -> N*fact(N-1).
  15.  
  16.