Prolog
soit Prolog peut valider la question à partir des faits et des règles à l'aide de la
résolution ... et est mis dans un fichier. GNU. Emacs va permettre d'écrire et
compiler le code et aussi d'effectuer des ... on peut observer la résolution et
corriger les erreurs dans le code. ... Jan Wielemaker, ?SWI-Prolog 5.2 Reference
Manual?.Télécharger Prolog pdf
