PROLOG - Gecif.net

Le langage PROLOG est basé sur le calcul des prédicats du premier ordre (avec ... PROLOG peut être vu comme un langage d'expression de connaissances.


Un extrait du document