home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / sharew / pdpro / samples / success.pro < prev    next >
Encoding:
Text File  |  1994-02-22  |  128 b   |  5 lines
  1. s(X,Y) :- X1 is X + 1, (Y is X1 ; s(X1,Y) ).
  2.  
  3. s1(X,Y) :- X1 is X + 1, Y is X + 1.
  4. s1(X,Y) :- X1 is X + 1, s1(X1, Y).
  5.