Parma_Polyhedra_Library::Interfaces::Prolog::SWI Namespace Reference

Data and functions related to the SWI-Prolog language interface. More...

Detailed Description

Data and functions related to the SWI-Prolog language interface.