Prolog assurer que les paramètres de retour d'une règle sont uniques et ordre canonique

Question

J'ai des données déclarées dans un fichier Prolog qui ressemble à ce qui suit:

gen1(grass). 
gen1(poison). 
gen1(psychic). 
gen1(bug). 
gen1(rock). 

...

gen1((poison, flying)). 
gen1((ghost, poison)). 
gen1((water, ice)). 

...

weak1(grass, poison). 
weak1(grass, bug). 
weak1(poison, rock). 

strong1(grass, rock). 
strong1(poison, grass). 
strong1(bug, grass). 
strong1(poison, bug). 
strong1(psychic, poison). 
strong1(bug, poison). 
strong1(bug, psychic). 
strong1(rock, bug). 

Notez que les données ne définit pas strong1 ou weak1 pour compou sd gen1(...). Ceux-ci sont déterminés par des règles qui ne contribuent pas à l'exemple de travail minimal. Je les mentionne parce qu'il pourrait être utile de savoir qu'ils existent. J'essaie de trouver des relations entre ces termes qui forment un cycle. Voici une fonction exemple:

triangle1(A, B, C) :- 
    setof(A-B-C, (
      gen1(A), gen1(B), gen1(C), A \= B, A \= C, B \= C, 
       strong1(A, B), strong1(B, C), strong1(C, A) 
      ), Tris), 
    member(A-B-C, Tris). 

Cette configuration ne supprime les doublons où A, B et C sont dans le même ordre. Cependant, il ne supprime pas les doublons dans les différentes commandes. Par exemple:

?- triangle1(A, B, C), 
    member(A, [bug, grass, rock]), 
    member(B, [bug, rock, grass]), 
    member(C, [bug, rock, grass]). 
A = bug, 
B = grass, 
C = rock ; 
A = grass, 
B = rock, 
C = bug ; 
A = rock, 
B = bug, 
C = grass ; 
false. 

Cette requête ne doit retourner un ensemble de [A, B, C].

J'ai pensé à utiliser sort/2, mais il y a des cas où tout simplement de tri change le sens de la réponse:

?- triangle1(A, B, C), 
    sort([A, B, C], [D, E, F]), 
    \+member([D, E, F], [[A, B, C], [B, C, A], [C, A, B]]). 
A = D, D = bug, 
B = F, F = psychic, 
C = E, E = poison . 

J'ai aussi essayé < et >, mais ceux qui ne fonctionnent pas sur les atomes, apparemment .

Des pensées?

(je regardais les questions similaires, mais ne sais pas comment ce que je fais ici se compare à ce que les autres font)

EDIT: Comme par exemple commentaires sur un minimum de travail.

Answer 1

Vous pouvez essayer de trier à l'intérieur l'appel setof/3. Donc, vous devriez éviter la génération de triplets dans le mauvais ordre.

Je veux dire: appeler setof/3, au lieu de

A \= B, A \= C, B \= C, 

essayez avec

A @< B, A @< C, B \= C, 

De cette façon, vous imposez que A est inférieur à B et inférieur à C, vous éviter les doublons et de maintenir des solutions correctes .

Le triangle1/3 complet

triangle1(A, B, C) :- 
    setof(A-B-C, (
      gen1(A), gen1(B), gen1(C), A @< B, A @< C, B \= C, 
       strong1(A, B), strong1(B, C), strong1(C, A) 
      ), Tris), 
    member(A-B-C, Tris).