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 >
Wrap
Text File
|
1996-06-04
|
380b
|
26 lines
::typ(nom=>N:name) | constraint(inst(N)).
inst_name <| name.
inst_name := {alfred;amedee;rouin;gertrude}.
ursule <| name.
main :- create_CP(X),
X=typ,
pick_name(X.nom),
fail.
pick_name({alfred;amedee;toto;rouin;gertrude}).
constraint(N).
inst(N:inst_name) -> N | write(N),nl.
create_CP({@;typ;typ(nom=>ursule);@(nom=>amedee)}).
(main;succeed)?