Je travaille avec différentes implantations de Prolog en fonction des possibilités offertes :
- programmation sous contraintes,
- CHR,
- tabling,
- coinduction etc.
J'utilise...