Functions

PrologExpr * wxMakeCall(char *functor, ...)

Make a PrologExpr clause from a functor and a list of PrologExpr objects terminated with a zero (or NULL). Since this is normally used for making a procedure-call expression, the arguments will not be attribute-value pairs but straightforward data types.

char * wxCheckClauseTypes(PrologExpr *expr, wxList *type_list)

Compares the types of the arguments of expr (assumed to be a procedure call expression) against a list of types. Returns NULL if no error, or an error string if there is a type error.

char * wxCheckTypes(PrologExpr *expr, ...)

Compares the types of the arguments of expr (assumed to be a procedure call expression) against the remaining arguments, terminated with a NULL. Returns NULL if no error, or an error string if there is a type error.

char *s = wxCheckTypes(expr, PrologInteger, PrologReal, 0);
Bool wxIsFunctor(PrologExpr *expr, char *functor)

Checks that the functor of expr is functor.