Building Prolog terms

• TERM build_VAR() Returns an uninstantiated Prolog variable.

• TERM build_INTEGER(int i) Returns a Prolog integer whose value is i.

• TERM build_FLOAT(double f) Returns a Prolog float whose value is f.

• TERM build_ATOM(char *name) Returns a Prolog atom whose name is name.

• TERM build_NIL() Returns a Prolog nil.

• TERM build_LIST() Returns a Prolog list whose head and tail are to be filled in later.

• TERM build_STRUCTURE(char *name, int arity) Returns a Prolog structure whose functor is name, arity is arity and arguments are to be filled in later.

• void build_ARG(TERM t) Fills in the next argument of a structure or a list.

• TERM create_LIST(int len) Create a list of length len with all the elements being different variables.

• TERM create_FUNCTOR(char *name, int arity) Create a structure whose name is name and arity is arity. All the arguments are initialized to different variables.