TP 3 : Un moteur d'inférence en PROLOG - LIRIS
TP5/6 PROLOG. (PROgrammation LOGique). Illustration du cours Système à
Base de Connaissances : Etude pour la réalisation d'un moteur d'inférence en
PROLOG. Avertissement : Ce TP est noté. Vous devez rendre un CR
correspondant au plan proposé et un code commenté avant le 19 décembre (le
tout sous format ...