Bonjour,

J'ai utilisé il y a une vingtaine d'années les versions qui étaient répandues dans le monde étudiant :

- le Prolog de Bull (Xilog);
- Turbo-Prolog de Borland;
- Prolog de Prologia...