EMoP: Existential Module System for Prolog

Thierry.Martinez@inria.fr

Download

The current version is 0.03

Documentation

Browse documentation.

History