Parma_Polyhedra_Library::Interfaces::Prolog::Ciao Namespace Reference
[C++ Language Interface]
Data and functions related to the
Ciao Prolog foreign language interface.
More...
Detailed Description
Data and functions related to the
Ciao Prolog foreign language interface.