![]() |
YAP 7.1.0
|
C++ wrapper to terms, predicates and queries. More...
C++ wrapper to terms, predicates and queries.
1 *
This new interface is designed to be object oriented and to fit naturally with the swig interface language generator It uses ideas from the old YAP interface and from the SWI foreign language interface
Modules | |
Prolog Atoms | |
Symbols and associated propeeties. | |
Data-Base Component of YAP interface. | |
These classes define the main data-structures stored to represent compiled programs: | |
Error Handling in the YAP interface. | |
error handling in C++ and OO languages | |
Query Handling in the YAP interface. | |
Engine and Query Management. | |
Term Handling in the YAP interface. | |
These classes offer term construction and access. | |
X_API void YAP_UserBackCPredicate | ( | const char * | name, |
YAP_UserCPred | init, | ||
YAP_UserCPred | cont, | ||
YAP_Arity | arity, | ||
YAP_Arity | extra | ||
) |
Definition at line 2470 of file c_interface.c.
X_API void YAP_UserBackCutCPredicate | ( | const char * | name, |
YAP_UserCPred | init, | ||
YAP_UserCPred | cont, | ||
YAP_UserCPred | cut, | ||
YAP_Arity | arity, | ||
YAP_Arity | extra | ||
) |
Definition at line 2463 of file c_interface.c.
X_API void YAP_UserCPredicate | ( | const char * | name, |
YAP_UserCPred | def, | ||
YAP_Arity | arity | ||
) |
Definition at line 2451 of file c_interface.c.
Functions | |
X_API void | YAP_UserCPredicate (const char *, YAP_UserCPred, YAP_Arity arity) |
X_API void | YAP_UserCPredicateWithArgs (const char *, YAP_UserCPred, YAP_Arity, YAP_Term) |
X_API void | YAP_UserBackCPredicate (const char *name, YAP_UserCPred init, YAP_UserCPred cont, YAP_Arity arity, YAP_Arity extra) |
X_API void | YAP_UserBackCutCPredicate (const char *name, YAP_UserCPred init, YAP_UserCPred cont, YAP_UserCPred cut, YAP_Arity arity, YAP_Arity extra) |
X_API YAP_Term | YAP_ReadBuffer (const char *s, YAP_Term *tp) |
YAP_Term | YAP_MkcharPTerm (char *s) |