home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / POWER.LF < prev    next >
Text File  |  1996-06-04  |  476b  |  22 lines
  1. persistent(result)?
  2.  
  3. foo_4(0,Counter,X,X+1) :- !.
  4. foo_4(N,0,_,Y) :- !,
  5.         N > 0,
  6.         ( foo_4(R:(N-1),3,result,X1),
  7.           foo_4(R,3,X1,X2),
  8.           foo_4(R,3,X2,X3),
  9.           foo_4(R,3,X3,X4),
  10.           result<<-X4,
  11.           fail
  12.         ; Y=result
  13.         ).
  14. foo_4(N,P,X,Y) :-
  15.         N > 0,
  16.         foo_4(R:(N-1),C:(P-1),X,X1),
  17.         foo_4(R,C,X1,X2),
  18.         foo_4(R,C,X2,X3),
  19.         foo_4(R,C,X3,Y).
  20.  
  21. power_4(N) :- result<<-0, foo_4(N,_,0,X), write(X).
  22.