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.