|
Defines |
#define | extern_ctop_abs(reg_num, val) ctop_abs(CTXTc reg_num,val) |
#define | extern_ctop_float(reg_num, val) ctop_float(CTXTc reg_num, val) |
#define | extern_ctop_int(reg_num, val) ctop_int(CTXTc reg_num,val) |
#define | extern_ptoc_abs(reg_num) ptoc_abs(CTXTc reg_num) |
#define | extern_ptoc_float(reg_num) ptoc_float(CTXTc reg_num) |
#define | extern_ptoc_int(reg_num) ptoc_int(CTXTc reg_num) |
#define | extern_ptoc_longstring(reg_num) ptoc_longstring(CTXTc reg_num) |
#define | extern_ptoc_string(reg_num) ptoc_string(CTXTc reg_num) |
#define | extern_c2p_chars(cstr, regs_to_protect, pterm) c2p_chars(CTXTc cstr, regs_to_protect, pterm) |
#define | extern_c2p_float(dbl, pterm) c2p_float(CTXTc dbl, pterm) |
#define | extern_c2p_functor(functor, arity, var) c2p_functor(CTXTc functor,arity,var) |
#define | extern_c2p_int(pint, pterm) c2p_int(CTXTc pint, pterm) |
#define | extern_c2p_list(var) c2p_list(CTXTc var) |
#define | extern_c2p_nil(var) c2p_nil(CTXTc var) |
#define | extern_c2p_string(val, var) c2p_string(CTXTc val,var) |
#define | extern_p2c_arity(term) p2c_arity(term) |
#define | extern_p2c_chars(term, cptr, pint) p2c_chars(CTXTc term,cptr,pint) |
#define | extern_p2c_float(term) p2c_float(term) |
#define | extern_p2c_functor(term) p2c_functor(term) |
#define | extern_p2c_int(term) p2c_int(term) |
#define | extern_p2c_string(term) p2c_string(term) |
#define | extern_p2p_arg(term, argno) p2p_arg(term,argno) |
#define | extern_p2p_car(term) p2p_car(term) |
#define | extern_p2p_cdr(term) p2p_cdr(term) |
#define | extern_p2p_deref(term) p2p_deref(term) |
#define | extern_p2p_new() p2p_new(CTXT) |
#define | extern_p2p_unify(term1, term2) p2p_unify(CTXTc term1, term2) |
#define | extern_print_pterm(Cell, int, VS) print_pterm(CTXTc Cell, int, VS) |
#define | extern_reg_term(regnum) reg_term(CTXTc regnum) |
#define | xsb_make_vars(i) c2p_functor("ret",i,reg_term(2)) |
#define | xsb_set_var_int(v, i) c2p_int(v,p2p_arg(reg_term(2),i)) |
#define | xsb_set_var_string(s, i) c2p_string(s,p2p_arg(reg_term(2),i)) |
#define | xsb_set_var_float(f, i) c2p_float(f,p2p_arg(reg_term(2),i)) |
#define | xsb_var_int(i) (p2c_int(p2p_arg(reg_term(2),i))) |
#define | xsb_var_string(i) (p2c_string(p2p_arg(reg_term(2),i))) |
#define | xsb_var_float(i) (p2c_float(p2p_arg(reg_term(2),i))) |
Typedefs |
typedef char * | vfile |
Functions |
DllExport prolog_int call_conv | ptoc_int (CTXTdeclc reg_num) |
DllExport prolog_float call_conv | ptoc_float (CTXTdeclc reg_num) |
DllExport char *call_conv | ptoc_string (CTXTdeclc reg_num) |
DllExport char *call_conv | ptoc_longstring (CTXTdeclc reg_num) |
DllExport char *call_conv | ptoc_abs (reg_num) |
DllExport void call_conv | ctop_int (CTXTdeclc reg_num, prolog_int) |
DllExport void call_conv | ctop_float (CTXTdeclc reg_num, double) |
DllExport void call_conv | ctop_string (CTXTdeclc reg_num, char *) |
DllExport void call_conv | extern_ctop_string (CTXTdeclc reg_num, char *) |
DllExport int call_conv | ctop_abs (reg_num, char *) |
char * | string_find (char *, int) |
int | ctop_term (CTXTdeclc char *, char *, reg_num) |
int | ptoc_term (CTXTdeclc char *, char *, reg_num) |
DllExport prolog_term call_conv | reg_term (CTXTdeclc reg_num) |
DllExport xsbBool call_conv | c2p_int (CTXTdeclc prolog_int, prolog_term) |
DllExport xsbBool call_conv | c2p_float (CTXTdeclc double, prolog_term) |
DllExport xsbBool call_conv | c2p_string (CTXTdeclc char *, prolog_term) |
DllExport xsbBool call_conv | c2p_list (CTXTdeclc prolog_term) |
DllExport xsbBool call_conv | c2p_nil (CTXTdeclc prolog_term) |
DllExport void call_conv | ensure_heap_space (CTXTdeclc int, int) |
DllExport xsbBool call_conv | c2p_functor (CTXTdeclc char *, int, prolog_term) |
DllExport void call_conv | c2p_setfree (prolog_term) |
DllExport void call_conv | c2p_chars (CTXTdeclc char *str, int regs_to_protect, prolog_term term) |
DllExport prolog_int call_conv | p2c_int (prolog_term) |
DllExport double call_conv | p2c_float (prolog_term) |
DllExport char *call_conv | p2c_string (prolog_term) |
DllExport char *call_conv | p2c_functor (prolog_term) |
DllExport int call_conv | p2c_arity (prolog_term) |
DllExport char *call_conv | p2c_chars (CTXTdeclc prolog_term, char *, int) |
DllExport prolog_term call_conv | p2p_arg (prolog_term, int) |
DllExport prolog_term call_conv | p2p_car (prolog_term) |
DllExport prolog_term call_conv | p2p_cdr (prolog_term) |
DllExport prolog_term call_conv | p2p_new (CTXTdecl) |
DllExport xsbBool call_conv | p2p_unify (CTXTdeclc prolog_term, prolog_term) |
DllExport xsbBool call_conv | p2p_call (prolog_term) |
DllExport void call_conv | p2p_funtrail () |
DllExport prolog_term call_conv | p2p_deref (prolog_term) |
DllExport xsbBool call_conv | is_var (prolog_term) |
DllExport xsbBool call_conv | is_int (prolog_term) |
DllExport xsbBool call_conv | is_float (prolog_term) |
DllExport xsbBool call_conv | is_string (prolog_term) |
DllExport xsbBool call_conv | is_atom (prolog_term) |
DllExport xsbBool call_conv | is_list (prolog_term) |
DllExport xsbBool call_conv | is_nil (prolog_term) |
DllExport xsbBool call_conv | is_functor (prolog_term) |
DllExport xsbBool call_conv | is_charlist (prolog_term, int *) |
DllExport xsbBool call_conv | is_attv (prolog_term) |
int | c2p_term (CTXTdeclc char *, char *, prolog_term) |
int | p2c_term (CTXTdeclc char *, char *, prolog_term) |
char * | vfile_open () |
char * | vfile_obj () |
DllExport int call_conv | xsb_init (CTXTdeclc int, char **) |
DllExport int call_conv | xsb_init_string (CTXTdeclc char *) |
DllExport int call_conv | xsb_command (CTXTdecl) |
DllExport int call_conv | xsb_command_string (CTXTdeclc char *) |
DllExport int call_conv | xsb_query (CTXTdecl) |
DllExport int call_conv | xsb_query_string (CTXTdeclc char *) |
DllExport int call_conv | xsb_query_string_string (CTXTdeclc char *, VarString *, char *) |
DllExport int call_conv | xsb_query_string_string_b (CTXTdeclc char *, char *, int, int *, char *) |
DllExport int call_conv | xsb_next (CTXTdecl) |
DllExport int call_conv | xsb_next_string (CTXTdeclc VarString *, char *) |
DllExport int call_conv | xsb_next_string_b (CTXTdeclc char *, int, int *, char *) |
DllExport int call_conv | xsb_get_last_answer_string (CTXTdeclc char *, int, int *) |
DllExport int call_conv | xsb_close_query (CTXTdecl) |
DllExport int call_conv | xsb_close (CTXTdecl) |
DllExport int call_conv | xsb_get_last_error_string (char *, int, int *) |
DllExport void call_conv | print_pterm (CTXTdeclc Cell, int, VarString *) |
char * | p_charlist_to_c_string (CTXTdeclc prolog_term term, VarString *buf, char *in_func, char *where) |