home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / prolog / pdprolog / success.pro < prev    next >
Text File  |  1986-05-05  |  128b  |  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.