Foreign Interface

QP_atom_from_padded_string()

returns the Prolog atom corresponding to a blank-padded string; used with FORTRAN & Pascal

QP_atom_from_string()

returns the Prolog atom corresponding to a null-terminated string

QP_close_query()

closes a Prolog query opened from C by QP_open_query()

QP_cons_functor()

creates a Prolog compound term from C

QP_cons_list()

creates a Prolog list from C

QP_cut_query()

terminates a nondeterminate Prolog query opened from C

QP_exception_term()

returns the Prolog term to C corresponding to the most recent Prolog error

QP_get_arg()

fetches a specified argument of a compound term in a Prolog term reference

QP_get_atom()

fetches an atom from a Prolog term reference

QP_get_float()

fetches a floating point number from a Prolog term reference

QP_get_functor()

fetches the name and arity of a term in a Prolog term reference

QP_get_head()

fetches the head of a list in a Prolog term reference

QP_get_integer()

fetches an integer in a Prolog term reference

QP_get_list()

fetches the head and tail of a list in a Prolog term reference

QP_get_tail()

fetches the tail of a list in a Prolog term reference

QP_next_solution()

gets the next solution, if any, to an open Prolog query

QP_open_query()

opens a Prolog query from C

QP_padded_string_from_atom()

returns the blank-padded string corresponding to a Prolog atom; used with FORTRAN & Pascal

QP_pred()

fetches an identifier for a Prolog predicate

QP_predicate()

fetches an identifier a Prolog predicate

QP_put_atom()

assigns an atom to a Prolog term reference

QP_put_float()

assigns a floating point number to a Prolog term reference

QP_put_functor()

assigns a new compound term to a Prolog term reference

QP_put_integer()

assigns a Prolog integer to a Prolog term reference

QP_put_list()

assigns a new list to a Prolog term reference

QP_put_term()

assigns a Prolog term reference to another Prolog term reference

QP_put_variable()

assigns a Prolog variable to a Prolog term reference

QP_query()

makes a determinate query to a Prolog predicate

QP_string_from_atom()

returns a null-terminated string corresponding to a Prolog atom