Parma_Polyhedra_Library::Interfaces::Prolog Namespace Reference

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

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

---

Detailed Description

Data and functions related to the Prolog language interfaces.