Building Prolog terms

• TERM bp_build_var(): Returns a free Prolog variable.

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

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

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

• TERM bp_build_nil(): Returns a Prolog empty list.

• TERM bp_build_list(): Returns a Prolog list whose car and cdr are free variables.

• TERM bp_build_structure(char *name, int arity): Returns a Prolog structure whose functor is name, whose arity is arity, and whose arguments are all free variables.