home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / T3201.LF < prev    next >
Text File  |  1996-06-04  |  796b  |  36 lines
  1. %
  2. %        Wild Life Tests Programs 
  3. %        3200 : user defined predicates
  4. %
  5. %        3201 : number and order of solutions on backtracking.
  6. %
  7. choix1("     a poux").
  8. choix1(" pas a poux").
  9. choix2("     papas").
  10. choix2(" pas papas").
  11.  
  12. papous8 :- choix2(X), 
  13.            choix1(Y), 
  14.            choix2(Z), 
  15.            nl,
  16.        write("Chez les Papous, il y a des Papous",X,Y,Z,".").
  17.  
  18. papous2 :- choix2(X), 
  19.            choix1(Y),!,
  20.            choix2(Z),
  21.        nl, 
  22.            write("Chez les Papous, il y a des Papous",X,Y,Z,".").
  23.  
  24. papous4 :- choix2(X),!, 
  25.            choix1(Y),
  26.            choix2(Z), 
  27.        nl,
  28.            write("Chez les Papous, il y a des Papous",X,Y,Z,".").
  29.  
  30. papous1 :- choix2(X), 
  31.            choix1(Y),
  32.            choix2(Z),!, 
  33.        nl,
  34.            write("Chez les Papous, il y a des Papous",X,Y,Z,".").
  35.  
  36.