Appliquer plusieurs prédicats pour définir une règle

Bonjour à tous,
Je m'intéresse à Prolog depuis un moment et il y a un mécanisme sur lequel je souhaiterais avoir des précisions. C'est celui d'appliquer plusieurs prédicats pour définir une règle :

Code:

---

1 2 3 4 5 6

predicat1(X) :- ...   predicat2(Y) :- ...   predicat1, predicat2 (X) :- ...

---

Je voudrais comprendre comment ça marche et mes recherches sur Internet ont été infructueuse. Si vous pouviez m'expliquer ou me donner des sources qui expliquent ce fonctionnement je vous en serais reconnaissant. :mrgreen:

Inconnu au bataillon, où avez-vous rencontré ce genre d'écriture ?

Forcement je cherche l'exemple que j'avais trouvé il y a longtemps maintenant et je ne le trouve plus. Un truc dont je me souviens c'est que le bout de code suivant était décrit comme valide et je dois dire que c'est ça qui m'a marqué :

Code:

---

predicat1, predicat2 (X) :- ...

---

Mais je n'ai pas plus de précisions, je reposterais lorsque j'aurais mis la main sur l'exemple.

:calim2::calim2::calim2::calim2::calim2:

@+
Rémi

Ca provoque une erreur de syntaxe, tout au moins en SWI-Prolog, donc j'ai quelques doutes.

Bon j'avais peut être pas les yeux en face des trous ce jour là, mes tests aussi ne marchent pas. Merci pour vos réponses et désolé de vous avoir fait perdre votre temps.

Aucun problème ;)

bonjour,
j'ai trouvé ceci dans la documentation SWI-PROLOG:

Extrait nettoyé:

:Goal1 , :Goal2 [ISO]
Conjunction. True if both `Goal1' and `Goal2' can be proved. It
is defined as follows (this definition does not lead to a loop as
the second comma is handled by the compiler):

Code:

---

Goal1, Goal2 :- Goal1, Goal2.

---

:Goal1 ; :Goal2 [ISO]
The `or' predicate is defined as:

Code:

---

1 2	Goal1 ; Goal2 :- Goal1. Goal1; Goal2 :- Goal2.

---

En Anglais, malheureusement, cela peut prêter à confusion.
Il se peut que cette représentation soit également utilisée pour expliquer un exemple
mais conjonction predicat1, predicat2 (X):- ??? des doutes.