| Réf : H3098 v1

Clauses de Horn et principe de résolution
Langage Prolog

Auteur(s) : Patrice BOIZUMAULT

Date de publication : 10 févr. 2001