Le système utilisé est le SWI-Prolog.
Le SWI-Prolog est gratuit pour les applications non commerciales
(pour l'éducation en particulier). Il est disponible pour
Windows, Unix, Linux,...
La documentation, les derniers exécutables et les sources
de SWI-Prolog sont disponibles directement à partir du site
SWI-Prolog.
Scheme
Le Scheme est utilisé pour le cours
éléments de programmation.
Le système utilisé est le MIT-Scheme. Le MIT-Scheme est gratuit
pour les applications non commerciales (pour l'éducation en
particulier). Il est disponible pour Windows, Unix, Linux,...
La documentation, les sources et les derniers exécutables
sont disponibles sur le site
http://www.swiss.ai.mit.edu/projects/scheme/index.html.
Nous recommandons les sites suivants aux personnes intéressées: