home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / RESID1.LF < prev    next >
Text File  |  1996-06-04  |  380b  |  26 lines
  1.  
  2. ::typ(nom=>N:name) | constraint(inst(N)).
  3.  
  4. inst_name <| name.
  5. inst_name := {alfred;amedee;rouin;gertrude}.
  6.  
  7. ursule <| name.
  8.  
  9.  
  10. main :- create_CP(X),
  11.         X=typ,
  12.         pick_name(X.nom),
  13.         fail.
  14.  
  15. pick_name({alfred;amedee;toto;rouin;gertrude}).
  16.  
  17.  
  18. constraint(N).
  19. inst(N:inst_name) -> N | write(N),nl.
  20.  
  21.  
  22.  
  23. create_CP({@;typ;typ(nom=>ursule);@(nom=>amedee)}).
  24.  
  25. (main;succeed)?
  26.