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