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.

Generated on Sun Feb 27 16:20:33 2011 for PPL by  doxygen 1.6.3