Discussion :

[joseph.vidal-rosset]

Voici mon problème:
est-il possible de traduire une forme conjonctive de taillle indéfinie en liste qui donne tous les atomes de la conjonction?

liste([L]) :- conjonction(p1 & p2 & ... & pN).

?liste([L]).
L = [p1 & p2 & ... & pN].

Je n'arrive pas à écrire un tel programme en Prolog et je ne sais même pas si c'est possible. J'ai beaucoup cherché, mais je trouve pas.

Merci aux experts de ce langage pour leur aide.

Joseph

[Trap D]

On peut faire ceci, mais je ne sais pas si cela répond vraiment à la question.
La priorité et le type de l'opérateur '&' sont peut-être à revoir.

Code :

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

:- op(400, xfy, &).

Ensuite on obtient :

?- conjonction(p1 & p2 & p3 & p4) =.. [conjonction | L].
L = [p1&p2&p3&p4].