Parma_Polyhedra_Library::Interfaces::Prolog Namespace Reference
[C++ Language Interface]

Data and functions related to the Prolog foreign language interfaces. More...

Namespaces
namespace	Ciao
	Data and functions related to the Ciao Prolog foreign language interface.
namespace	GNU
	Data and functions related to the GNU Prolog foreign language interface.
namespace	SICStus
	Data and functions related to the SICStus foreign language interface.
namespace	SWI
	Data and functions related to the SWI-Prolog foreign language interface.
namespace	XSB
	Data and functions related to the XSB foreign language interface.
namespace	YAP
	Data and functions related to the YAP foreign language interface.

---

Detailed Description

Data and functions related to the Prolog foreign language interfaces.