Pour l'enseignement nous utilisons SWI-Prolog. En programmation parallèle avec MPI nous utilisons Yap qui permet de facilement utiliser cette bibliothèque.

@+
Rémi