home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / oper_sys / oasis / ossxmpls.lha / examples / tak.d < prev    next >
Encoding:
Text File  |  1992-03-25  |  322 b   |  16 lines
  1. class tak {
  2. method:
  3.     public      main ().
  4.     private     tak  (int X, Y, Z, ?A).
  5. }
  6.  
  7. tak {
  8.     main() |- tak(24,16,8,_).
  9.  
  10.     tak(X',Y',Z',Z) :- X <= Y.
  11.     tak(X',Y',Z',A) |- tak(X-1,Y,Z,A1');
  12.                        tak(Y-1,Z,X,A2');
  13.                        tak(Z-1,X,Y,A3');
  14.                        tak(A1,A2,A3,A').
  15. }
  16.