home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / PYTH2.LF < prev    next >
Text File  |  1996-06-04  |  287b  |  19 lines
  1. digit -> {2;3;4;5;6;7;8;9}.
  2.  
  3. pyth(A,B,C) :- A*A =:= B*B+C*C.
  4.  
  5. main :-
  6.         pyth(A:digit,B:digit,C:digit),
  7.         A=\=0, gc,
  8.         write(A,B,C), nl, fail.
  9. main.
  10.  
  11. main2 :-
  12.     pyth(A,B,C),
  13.     A=digit,
  14.     B=digit,
  15.     C=digit,
  16.         gc,
  17.         write("Ans: ",A," ",B," ",C), nl, fail.
  18. main2.
  19.