Discussion :

[nyoshi]

Bonjour,

Je suis débutante en SWI-Prolog alors excusez moi si mes questions semblent stupides.

Voila mon probleme : j'aimerai générer un nombre aléatoire de faits aléatoires ...

Illustration :p :

Code :

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

1
2
3
4
5
6
 
%fichier.pl
coordonnee(1,2).
coordonnee(5,7).
coordonnee(4,8).
%etc...

Voila c'est bien beau tout ça quand il suffit de le tapper dans un fichier et le charger. Ensuite sous l'interpreteur, je peux poser des questions sur ces faits.

Seulement voila j'aimerai générer ces faits automatiquement. J'ai fait qques recherches là dessus mais n'ayant pas très bien intégrer la logique prolog je n'arrive pas a utiliser la fonction clause (si c'est bien elle qui faut utiliser ...).

Merci d'avoir lu jusqu'au bout, j'attends vos conseils avisés ^^
nyoshi.

[Trap D]

Recherche des renseignements sur

• dynamic (permet de déclarer un faitdont on peut faire varier les occurences)
• assert qui permet d'ajouter dans la base de données des faits.
• random qui permet de générer un nombre aléatoire
• forall qui permet d'écrire un prédicat itératif en conjonction avec between.

[pcaboche]

• forall qui permet d'écrire un prédicat itératif en conjonction avec between.

Pas d'accord avec cela, car le forall risque de faire des backtracks, et chaque backtrack annulera l'action du assert.

Il faut se méfier du forall dans ce cas car cela revient à faire de la programmation par effets de bord.

Ce qu'il faut faire, c'est un prédicat itératif qui bouclera autant de fois que nécessaire.

[Trap D]

J'ai testé avant de donner le conseil. Celà fonctionne bien pour ce qui est demandé.

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
:- dynamic(faits/2).
 
% predicat pour obtenir un nombre aléatoire plus grand que 0
nombre_de_faits(Base, N) :-
	N1 is random(Base),
	(   (   N1 = 0, nombre_de_faits(Base, N));
	N = N1).
 
test :-
	% On vide la base des faits
	retractall(faits(_,_)),
        % on selectionne au plus 10 faits
	nombre_de_faits(10, N),
	write('Nombre de faits '), write(N), nl,
	% on cree les N faits alétaoires
	forall(between(1,N, _),
	       (   X is random(100), Y is random(100),
		   assert(faits(X,Y)))),
 
	% edition des résultats
	forall(faits(A,B), writeln(faits(A,B))).

Resultat :

1 ?- test.
Nombre de faits 3
faits(47, 26)
faits(56, 37)
faits(90, 9)

Bien sûr, dans d'autres cas, suivant les actions entreprisent dans le second argument de forall, celà peut être différent.

[pcaboche]

J'ai testé avant de donner le conseil. Celà fonctionne bien pour ce qui est demandé.

J'ai pas eu l'occasion de tester. Cependant, il faut rester prudent avec l'utilsation du forall pour autre chose que de vérifier qu'une propriété est vraie pour tout X vérifiant une certaine condition.