Parma_Polyhedra_Library::Interfaces::Prolog Namespace Reference

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

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

Detailed Description

Data and functions related to the Prolog language interfaces.