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: