1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
| implement list1
open core
domains
mai=mai(string N1,string C1,string S1).
constants
className = "mylist1/list1".
classVersion = "".
myl:list=[mai("N1","C1","S1"),mai("N2","C2","S2"),mai("N3","C3","S3")].
clauses
classInfo(className, classVersion).
class predicates
premiere:(mai,list)determ anyflow.
precede:(mai,mai,list)determ anyflow.
element:(mai,list)nondeterm anyflow.
rens:(list)nondeterm(i).
clauses
premiere(mai("N1","C1","S1"),myl).
premiere(mai("N","C","tennis"),myl).
precede(mai("N1","C1","S1"),mai("N2","C2","S2"),myl).
precede(mai("N2","C2","S2"),mai("N3","C3","S3"),myl).
precede(mai("N","verte","natation"),mai("espagnol","C","S"),myl).
precede(mai("anglais","blanche","S"),mai("N","C","football"),myl).
element(mai("N","verte","natation"),myl).
element(mai("anglais","blanche","S"),myl).
element(mai("francais","C","S"),myl).
element(mai("N","bleue","S"),myl).
rens(myl):-
premiere(mai(_,_,"tennis"),myl),
precede(mai(_,"verte","natation"),mai("espagnol",_,_),myl),
precede(mai("anglais","blanche",_),mai(_,_,"football"),myl),
element(mai(_,"verte","natation"),myl),
element(mai("anglais","blanche",_),myl),
element(mai("francais",_,X),myl),
element(mai(Y,"bleue",_),myl),
stdio::write(X),
stdio::nl,
stdio::write(Y).
test():-
rens(myl),
fail.
test().
end implement list1 |
Partager