Système de programmation logique et de base de données déductive (Prolog déposé) pour Unix et Windows.