Go to the source code of this file.
Macros | |
#define | copyPsiTerm(a, b) (ptr_psi_term )memcpy(a,b,sizeof(psi_term)) |
Functions | |
long | c_trace () |
long | c_tprove () |
static long | c_step () |
static long | c_verbose () |
static long | c_warning () |
static long | c_maxint () |
long | c_quiet () |
static long | c_cputime () |
static long | c_realtime () |
static long | c_localtime () |
static long | c_statistics () |
static long | c_garbage () |
static long | c_getenv () |
static long | c_system () |
static long | c_encode () |
void | setUnitList (GENERIC x) |
ptr_psi_term | unitListValue () |
GENERIC | unitListNext () |
ptr_psi_term | intListValue (ptr_int_list p) |
GENERIC | intListNext (ptr_int_list p) |
ptr_psi_term | quotedStackCopy (psi_term p) |
ptr_psi_term | residListGoalQuote (ptr_residuation p) |
GENERIC | residListNext (ptr_residuation p) |
ptr_psi_term | makePsiTerm (ptr_definition x) |
ptr_psi_term | makePsiList (GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)()) |
static long | c_residList () |
ptr_goal | makeGoal (ptr_psi_term p) |
static long | c_residuate () |
static long | c_mresiduate () |
void | insert_system_builtins () |
Variables | |
static GENERIC | unitListElement |
#define copyPsiTerm | ( | a, | |
b | |||
) | (ptr_psi_term )memcpy(a,b,sizeof(psi_term)) |
|
static |
Definition at line 175 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, deref_args, deref_ptr, get_real_value(), life_end, REAL, set_empty, and unify_real_result().
|
static |
Definition at line 395 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, encode_types(), set_empty, and TRUE.
|
static |
Definition at line 299 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, garbage(), set_empty, and TRUE.
|
static |
Definition at line 313 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, deref_ptr, Errorline(), FALSE, get_two_args(), heap_copy_string(), matches(), NULL, push_goal(), quoted_string, stack_psi_term(), TRUE, wl_psi_term::type, unify, and wl_psi_term::value_3.
|
static |
Definition at line 231 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, day_attr, deref_args, deref_ptr, hour_attr, minute_attr, month_attr, NULL, push_goal(), second_attr, set_empty, stack_add_int_attr(), stack_psi_term(), timesym, TRUE, wl_psi_term::type, unify, weekday_attr, and year_attr.
|
static |
Definition at line 129 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, deref_args, deref_ptr, get_real_value(), REAL, set_empty, unify_real_result(), and WL_MAXINT.
|
static |
Definition at line 581 of file bi_sys.c.
References wl_goal::aaaa_1, aim, alist, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), makeGoal(), nil, NULL, residuateGoalOnVar(), set_1_2, TRUE, and wl_psi_term::type.
long c_quiet | ( | ) |
Definition at line 155 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, deref_args, deref_ptr, lf_false, lf_true, NOTQUIET, NULL, push_goal(), set_empty, stack_psi_term(), TRUE, wl_psi_term::type, and unify.
|
static |
Definition at line 201 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_goal::bbbb_1, deref_args, deref_ptr, get_real_value(), REAL, set_empty, and unify_real_result().
|
static |
Definition at line 504 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), deref, deref_args, deref_ptr, get_one_arg(), makePsiList(), NULL, push_goal(), wl_psi_term::resid, resid_aim, residListGoalQuote(), residListNext(), set_1, TRUE, and unify.
|
static |
Definition at line 550 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), makeGoal(), NULL, residuateGoalOnVar(), set_1_2, and TRUE.
|
static |
Definition at line 265 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, heap_pointer, mem_base, mem_limit, set_empty, stack_pointer, and TRUE.
|
static |
Definition at line 79 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, set_empty, toggle_step(), and TRUE.
|
static |
Definition at line 349 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, curry(), deref, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), matches(), quoted_string, REAL, set_1, TRUE, wl_psi_term::type, unify_real_result(), and wl_psi_term::value_3.
long c_tprove | ( | ) |
Definition at line 65 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, set_empty, set_trace_to_prove(), and TRUE.
long c_trace | ( | ) |
Definition at line 20 of file bi_sys.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, deref_args, deref_ptr, Errorline(), FALSE, get_two_args(), is_top, lf_false, lf_true, set_empty, stepflag, toggle_trace(), trace, TRUE, wl_psi_term::type, and unify_bool_result().
|
static |
Definition at line 93 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, set_empty, TRUE, and verbose.
|
static |
Definition at line 111 of file bi_sys.c.
References wl_goal::aaaa_1, aim, deref_args, infoline(), set_empty, TRUE, and warningflag.
void insert_system_builtins | ( | ) |
Definition at line 626 of file bi_sys.c.
References bi_module, c_cputime(), c_encode(), c_garbage(), c_getenv(), c_localtime(), c_maxint(), c_mresiduate(), c_quiet(), c_realtime(), c_residList(), c_residuate(), c_statistics(), c_step(), c_system(), c_tprove(), c_trace(), c_verbose(), c_warning(), function_it, new_built_in(), and predicate.
GENERIC intListNext | ( | ptr_int_list | p | ) |
ptr_psi_term intListValue | ( | ptr_int_list | p | ) |
ptr_goal makeGoal | ( | ptr_psi_term | p | ) |
Definition at line 533 of file bi_sys.c.
References DEFRULES, goal_stack, wl_goal::next, NULL, prove, and push_goal().
ptr_psi_term makePsiList | ( | GENERIC | head, |
ptr_psi_term (*)() | valueFunc, | ||
GENERIC (*)() | nextFunc | ||
) |
Definition at line 480 of file bi_sys.c.
References stack_cons(), and stack_nil().
ptr_psi_term makePsiTerm | ( | ptr_definition | x | ) |
Definition at line 468 of file bi_sys.c.
References stack_psi_term(), and wl_psi_term::type.
ptr_psi_term quotedStackCopy | ( | psi_term | p | ) |
Definition at line 436 of file bi_sys.c.
References mark_quote(), and stack_copy_psi_term().
ptr_psi_term residListGoalQuote | ( | ptr_residuation | p | ) |
Definition at line 451 of file bi_sys.c.
References copyPsiTerm, stack_psi_term(), and wl_psi_term::status.
GENERIC residListNext | ( | ptr_residuation | p | ) |
void setUnitList | ( | GENERIC | x | ) |
GENERIC unitListNext | ( | ) |
ptr_psi_term unitListValue | ( | ) |