Discussion :

[tanguy.L]

Bonjour,

Je ne comprend pas très bien l'intérêt des familles car j'ai l'impression que de toute manière il faut déclarer les variables...

Je m'explique, admettons que je cherche à obtenir l'ensemble des points à coordonnées entières : (X,Y) telles que
X < MaxL,
Y < MaxH

si je fais :

Code :

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

1
2
3
4
5
 
points(X,Y,MaxL,MaxH ):-
	domain([X],0,MaxL),
	domain([Y],0,MaxH ),
	labeling([leftmost,up],[X,Y]).

J'obtiens bien ce que je veux.
Mais ce qui m' embête un peu c'est que je suis alors obligé de manipuler un X et un Y dans toutes mes méthodes...
J'aurais voulu déclarer une famille point(X,Y), implémenter des accesseurs, et générer des points qui auront comme coordonnées le X et le Y.

Ce n'est pas flagrant avec les points, mais quand je me retrouve avec des méthodes à 15 paramètres au lieu de 3 je me dis que je dois pas faire tout comme il faut ...

Vous pouvez m'expliquez comment il faut faire ?

Merci beaucoup.

[Trap D]

Pourrais-tu préciser si tu utilises SWI-Prolog ou Sictus Prolog. Je connais un peu la prog par contraintes avec SWI-Prolog mais je ne connais pas du tout Sictus Prolog, même si je subodore que c'est un peu la même chose.

Je te donne une possibilité en SWI-Prolog, mais je ne suis pas sûr d'avoir bien compris ce que tu voulais

Code :

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

1
2
3
4
5
6
7
8
9
10
11
:- use_module(library(clpfd)).
 
coord_X(point(X, _), X).
coord_Y(point(_, Y), Y).
 
points(P,MaxL,MaxH ):-
	coord_X(P, X),
	coord_Y(P, Y),
	X in 0..MaxL,
	Y in 0..MaxH,
	labeling([leftmost,up],[X,Y]).

sortie :

1 ?- points(P, 3,2).
P = point(0, 0) ;
P = point(0, 1) ;
P = point(0, 2) ;
P = point(1, 0) ;
P = point(1, 1) ;
P = point(1, 2) ;
P = point(2, 0) ;
P = point(2, 1) ;
P = point(2, 2) ;
P = point(3, 0) ;
P = point(3, 1) ;
P = point(3, 2).

2 ?-

[tanguy.L]

j'utilise Sicstus prolog, mais cela marche très bien.

C'est exactement ce que je voulais, utiliser les familles pour éviter d'avoir à désigner tous les attributs d'une famille.

C'est vraiment chouette, merci beaucoup.

Encore une fois, merci.