Discussion :

[stamdadi]

Bonjour,

je débute avec Prolog et je voulais savoir es ce que c'est possible de faire une instantiation d'un fact dans l'interface des requête et les sauvegarder pour une utilisation prochaine .

je vous donne un exemple pour mieux comprendre :

base de donnée :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
mere(X,Y).
grandmere(A,B):- mere(A,K),mere(K,B).

je veux faire une instantiation pour mere(X,Y) dans l'interface de prolog ( ?- ) et ajouter les nouveau facts dans la BDD pour les utilisés après.
par exemple je veux ajouter mere(alice,john) dans la BDD a partir de l'interface des requête prolog.

merci.

[Trap D]

Bonjour

Il suffit de faire

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

assert( mere(alice,john))

Le fait sera conservé dans la BDD tout au long de la session.
IL faudra évidemment le recréer à de la session suivante si nécessaire.

[stamdadi]

Merci ..

j'ai essayé de l'utiliser sur mon programme qui est le suivant :
le predicat CandRead est vrai si le domaine de O est un sous ensemble du domaine de S.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
:-dynamic [subjectHaveDomain/2].
:-dynamic [objectHaveDomain/2].                
 
element(X,[X|_]).
element(X,[_|R]) :-element(X,R).
 
sous-ensemble([],_).
sous-ensemble([X|R],K) :-element(X,K),sous-ensemble(R,K).
 
subjectHaveDomain(S,[D1|DN]).
objectHaveDomain(O,[D1|DN]).
 
canRead(S,O):-  subjectHaveDomain(S,L1),objectHaveDomain(O,L2),sous-ensemble(L2,L1).

mais j'ai pas des bons résultats comme vous pouvez voir :

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
?- assert(subjectHaveDomain(a,[s,p])).
true.
 
30 ?- assert(subjectHaveDomain(b,[s,p,ts])).
true.
 
31 ?- assert(subjectHaveDomain(c,[s])).
true.
 
32 ?- assert(objectHaveDomain(o1,[s])).
true.
 
33 ?- assert(objectHaveDomain(o2,[p,ts])).
true.
 
34 ?- assert(objectHaveDomain(o3,[p])).
true.
 
35 ?- canRead(S,O).
S = a,
O = o1 ;
S = a,
O = o3 ;
S = a ;
S = a ;
S = a ;
S = a ;
S = a ;
S = a ;
S = a ;
S = a

il reste toujours bloqué dans le a or je veux qui'il me donne les résultats pour le b et le c .

[Trap D]

Le problème vient de la declaration des clauses

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
subjectHaveDomain(S,[D1|DN]).
objectHaveDomain(O,[D1|DN]).

Supprimez les et tout semble fonctionner : chez moi j'obtiens :

?- canRead(S, O).
S = a,
O = o1 ;
S = a,
O = o3 ;
S = b,
O = o1 ;
S = b,
O = o2 ;
S = b,
O = o3 ;
S = c,
O = o1 ;
false.

[stamdadi]

oui effectivement ... Merci