Discussion :

[vicnet]

Bonjour,

Je n'arrive pas à trouver un pattern pour résoudre ce problème.
Voici le code simplifié:

Code :

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

1
2
3
4
r1(a).
r1(b).
r2(X,L) :- r1(X), not(member(X,L)).
r3([X|L]) :- r2(X,L), r3(L).

r1 est ma base de faits.
r2 est une contrainte sur un élement à ajouter dans la liste par rapport à la liste.
r3 est mon but.

J'aimerais faire ?: r3(L). et qu'il me réponse toutes les listes satisfaisant les règles.
Je ne trouve pas comment créer cette liste.

a+
Vicnet

[Trap D]

Si j'ai bien compris ton problème, avec l'exemple donné, les listes solutions sont [a,b], [a], [b].

[vicnet]

Oui tout à fait pour cette exemple la.

Mais la regle r2 qui contraint la liste peut être plus stricte qu'une simple appartenance.

Le problème, c'est d'avoir un but sur une liste qui a elle même des contraintes.
Comment construire cette liste ?

En fait, cela se résume en une seule règle sur la liste et on veut trouver toute les listes qui respecte cette regle !

a+
Vicnet

[Trap D]

J'ai l'impression que pour résoudre ton problème, il te faut une liste de départ, une liste dont tous les éléments vérifient r2. la liste vide peut-elle convenir ?
A partir de cette liste tu peux construire toutes les autres listes.

[Trap D]

A partir de ce que j'ai dit dans le post précédent on peut construire r3 :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
r3(L) :-
	r3([[]], [], L).
 
r3([], [], []) :- !.
r3([], L, L).
r3([], L, L1) :-
	r3(L, [], L1).
 
 
r3([H | T], LC, LF) :-
	findall([X|H], r2(X, H), LH),
	append(LC, LH, L),
	r3(T,L, LF).

Avec comme résultat :

?- r3(L).
L = [[a],[b],[c]] ;
L = [[b,a],[c,a],[a,b],[c,b],[a,c],[b,c]] ;
L = [[c,b,a],[b,c,a],[c,a,b],[a,c,b],[b,a,c],[a,b,c]] ;
L = [].