Converting Prolog terms into C data

• int get_INTEGER(TERM t) Returns the corresponding integer in C of term t. is_INTEGER(t) must be true.

• double get_FLOAT(TERM t) Returns the corresponding double float in C of term t. is_FLOAT(t) must be true.

• (char *) get_NAME(TERM t) Returns a pointer to the string that is the name of term t. Either is_ATOM(t) or is_STRUCTURE(t) must be true.

• int get_ARITY(TERM t) Returns an integer that is the arity of term t. Either is_ATOM(t) or is_STRUCTURE(t) must be true.