Unifying Terms¶
Define:¶
Functions:¶
1. X_API int PL_unify_bool(term_t t, int a):
1. X_API int PL_put_bool(term_t t, int a):
1. X_API int PL_get_mpz(term_t t, mpz_t mpz):
1. X_API int PL_unify_mpz(term_t t, mpz_t mpz):
1. X_API int PL_get_mpq(term_t t, mpq_t mpz):
1. X_API int PL_unify_mpq(term_t t, mpq_t mpq):
1. X_API int PL_get_module(term_t ts, module_t *m):
1. X_API module_t PL_new_module(atom_t swiat):
1. X_API int PL_get_nil(term_t ts):
1. X_API int PL_get_pointer(term_t ts, void i)**:
1. X_API int PL_get_tail(term_t ts, term_t tl):
1. X_API atom_t PL_new_atom(const char *c):
1. X_API atom_t PL_new_atom_nchars(size_t len, const char *c):
1. X_API atom_t PL_new_atom_wchars(size_t len, const wchar_t *c):
1. X_API wchar_t * PL_atom_wchars(atom_t name, size_t *sp):
1. X_API functor_t PL_new_functor(atom_t name, size_t arity):
1. X_API atom_t PL_functor_name(functor_t f):
1. X_API size_t PL_functor_arity(functor_t f):
1. X_API int PL_cons_functor(term_t d, functor_t f,...):
1. X_API int PL_cons_functor_v(term_t d, functor_t f, term_t a0):
1. X_API int PL_cons_list(term_t d, term_t h, term_t t):
1. X_API int PL_put_atom(term_t t, atom_t a):
1. X_API int PL_put_atom_chars(term_t t, const char *s):
1. X_API int PL_put_atom_nchars(term_t t, size_t len, const char *s):
1. X_API int PL_put_float(term_t t, double fl):
1. X_API int PL_put_functor(term_t t, functor_t f):
1. X_API int PL_put_integer(term_t t, long n):
1. X_API int PL_put_boolean(term_t t, uintptr_t n):
1. X_API int PL_put_int/4(term_t t, int64_t n):
1. X_API int PL_put_intptr(term_t t, intptr_t n):
1. X_API int PL_put_uintptr(term_t t, uintptr_t n):
1. X_API int PL_put_list(term_t t):
1. X_API int PL_put_list_chars(term_t t, const char *s):
1. X_API int PL_put_nil(term_t t):
1. X_API int PL_put_pointer(term_t t, void *ptr):
1. X_API int PL_put_string_chars(term_t t, const char *chars):
1. X_API int PL_put_string_nchars(term_t t, size_t len, const char *chars):
1. X_API int PL_put_term(term_t d, term_t s):
1. X_API int PL_put_variable(term_t t):
1. X_API int PL_raise_exception__(const char file, const char fn, int line, term_t exception):
1. X_API int PL_throw(term_t exception):
1. X_API void PL_fatal_error(const char *msg):
1. X_API int PL_warning(const char *msg,...):
1. X_API int PL_unify(term_t t1, term_t t2):
1. X_API int PL_unify_atom(term_t t, atom_t at):
1. X_API int PL_unify_atom_chars(term_t t, const char *s):
1. X_API int PL_unify_atom_nchars(term_t t, size_t len, const char *s):
1. X_API int PL_unify_float(term_t t, double f):
1. X_API int PL_unify_integer(term_t t, long n):
1. X_API int PL_unify_intptr(term_t t, intptr_t n):
1. X_API int PL_unify_uintptr(term_t t, uintptr_t n):
1. X_API int PL_unify_boolean(term_t t, int n):
1. X_API int PL_unify_functor(term_t t, functor_t f):
1. X_API int PL_unify_int/4(term_t t, int64_t n):
1. X_API int PL_unify_list(term_t tt, term_t h, term_t tail):
1. X_API int PL_unify_arg(int index, term_t tt, term_t arg):
1. X_API int PL_unify_list_chars(term_t t, const char *chars):
1. X_API int PL_unify_list_ncodes(term_t t, size_t len, const char *chars):
1. X_API int PL_unify_list_codes(term_t t, const char *chars):
1. X_API int PL_unify_nil(term_t t):
1. X_API int PL_unify_pointer(term_t t, void *ptr):
1. X_API int PL_unify_string_chars(term_t t, const char *chars):
1. X_API int PL_unify_string_nchars(term_t t, size_t len, const char *chars):
1. X_API int PL_unify_wchars(term_t t, int type, size_t len, const pl_wchar_t *chars):
1. static YAP_Term MkBoolTerm(int b):
1. int PL_unify_termv(term_t l, va_list ap):
1. int PL_unify_term(term_t t,...):
1. X_API void PL_register_atom(atom_t atom):
1. X_API void PL_unregister_atom(atom_t atom):
1. X_API int PL_term_type(term_t t):
1. X_API int PL_is_atom(term_t t):
1. X_API int PL_is_ground(term_t t):
1. X_API int PL_is_acyclic(term_t t):
1. X_API int PL_is_callable(term_t t):
1. X_API int PL_is_atomic(term_t ts):
1. X_API int PL_is_compound(term_t ts):
1. X_API int PL_is_functor(term_t ts, functor_t f):
1. X_API int PL_is_float(term_t ts):
1. X_API int PL_is_integer(term_t ts):
1. X_API int PL_is_list(term_t ts):
1. X_API int PL_is_pair(term_t ts):
1. X_API int PL_skip_list(term_t list, term_t tail, arity_t *len):
1. X_API int PL_is_number(term_t ts):
1. X_API int PL_is_string(term_t ts):
1. X_API int PL_is_variable(term_t ts):
1. X_API int PL_compare(term_t ts1, term_t ts2):
1. X_API char * PL_record_external(term_t ts, arity_t *sz):
1. X_API int PL_recorded_external(const char *tp, term_t ts):
1. X_API int PL_erase_external(char *tp):
1. X_API record_t PL_record(term_t ts):
1. X_API int PL_recorded(record_t db, term_t ts):
1. X_API record_t PL_duplicate_record(record_t db):
1. X_API void PL_erase(record_t db):
1. X_API int PL_action(int action,...):
1. X_API term_t PL_exception(qid_t q):
1. X_API void PL_clear_exception(void):
1. X_API int PL_initialise(int myargc, char myargv)**:
1. X_API int PL_is_initialised(int argcp, char argvp)**:
1. X_API module_t PL_context(void):
1. X_API int PL_strip_module(term_t raw, module_t *m, term_t plain):
1. X_API atom_t PL_module_name(module_t m):
1. X_API predicate_t PL_pred(functor_t f, module_t m):
1. X_API predicate_t PL_predicate(const char name, size_t arity, const char m):
1. X_API int PL_unify_predicate(term_t head, predicate_t pred, int how):
1. X_API void PL_predicate_info(predicate_t p, atom_t name, size_t arity, module_t *m):
1. X_API fid_t PL_open_foreign_frame(void):
1. X_API void PL_close_foreign_frame(fid_t f):
1. static void backtrack(void):
1. X_API void PL_rewind_foreign_frame(fid_t f):
1. X_API void PL_discard_foreign_frame(fid_t f):
1. X_API qid_t PL_open_query(module_t ctx, int flags, predicate_t p, term_t t0):
1. X_API int PL_next_solution(qid_t q):
1. X_API void PL_cut_query(qid_t q):
1. X_API qid_t PL_current_query(void):
1. X_API void PL_close_query(qid_t q):
1. X_API int PL_call_predicate(module_t ctx, int flags, predicate_t p, term_t t0):
1. X_API int PL_toplevel(void):
1. X_API int PL_call(term_t tp, module_t m):
1. X_API void PL_register_foreign_in_module(const char module, const char name, arity_t arity, pl_function_t function, int flags):
1. X_API void PL_register_extensions(const PL_extension *ptr):
1. X_API void PL_register_extensions_in_module(const char module, const PL_extension e):
1. X_API void PL_register_foreign(const char *name, arity_t arity, pl_function_t function, int flags):
1. X_API void PL_load_extensions(const PL_extension *ptr):
1. X_API int PL_is_inf(term_t st):
1. X_API int PL_thread_self(void):
1. int PL_thread_raise(int tid, int sig):
1. X_API int PL_unify_thread_id(term_t t, int i):
1. static int pl_thread_self(void):
1. X_API int PL_thread_attach_engine(const PL_thread_attr_t *attr):
1. X_API int PL_thread_destroy_engine(void):
1. X_API int PL_thread_at_exit(void(function)(void ), void *closure, int global):
1. X_API PL_engine_t PL_create_engine(const PL_thread_attr_t *attr):
1. X_API int PL_destroy_engine(PL_engine_t e):
1. X_API int PL_set_engine(PL_engine_t engine, PL_engine_t *old):
1. X_API void * PL_malloc(arity_t sz):
1. X_API void * PL_realloc(void *ptr, arity_t sz):
1. X_API void PL_free(void *obj):
1. X_API int PL_eval_expression_to_int64_ex(term_t t, int64_t *val):
1. foreign_t _PL_retry(intptr_t v):
1. foreign_t _PL_retry_address(void *addr):
1. X_API int PL_foreign_control(control_t ctx):
1. X_API intptr_t PL_foreign_context(control_t ctx):
1. X_API void * PL_foreign_context_address(control_t ctx):
1. X_API int PL_get_signum_ex(term_t sig, int *n):
1. X_API intptr_t PL_query(int query):
1. X_API void PL_cleanup_fork(void):
1. X_API void PL_on_halt(int(f)(int, void ), void *closure):
1. static int str_prefix(const char p0, char s):
1. static int atom_generator(const char *prefix, char hit, int state)**:
1. char * PL_atom_generator(const char *prefix, int state):
1. X_API pl_wchar_t * PL_atom_generator_w(const pl_wchar_t pref, pl_wchar_t buffer, arity_t buflen, int state):
1. const char * Yap_GetCurrentPredName(void):
1. Int Yap_GetCurrentPredArity(void):
1. void Yap_swi_install(void):
1. X_API int PL_raise(int sig):
1. int raiseSignal(void *ld, int sig):
1. term_t Yap_CvtTerm(term_t ts):
1. char * PL_cwd(char *cwd, arity_t cwdlen):
Var:¶
1. X_API void()(int) PL_signal(int sig, void(func)(int))(int sig, void(*func)(int)):