bonjour,
j'essaie de résoudre le probleme d'einstein simplifié avec 3maisons,3nationalités,3couleurs,3sports et j'ai fais le code en vip:
Code : Sélectionner tout - Visualiser dans une fenêtre à part
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
évidemment vip allant chercher dans les clauses trouve la réponse
test: X=S Y=N.je ne comprends pas comment prolog peut trouver une solution qui n'est pas inscrite dans les clauses
merci