Go to the source code of this file.
Macros | |
#define | CLEAN_TRAIL |
#define | TRAIL_TS |
#define | TRAIL_TS |
#define | RESTORE_TIME_STAMP |
Variables | |
long | clean_iter = 0 |
long | clean_succ = 0 |
unsigned long | global_time_stamp =INIT_TIME_STAMP |
#define RESTORE_TIME_STAMP |
#define TRAIL_TS |
#define TRAIL_TS |
void add_rule | ( | ptr_psi_term | head, |
ptr_psi_term | body, | ||
def_type | typ | ||
) |
Definition at line 148 of file login.c.
References wl_pair_list::aaaa_2, assert_first, assert_ok, wl_psi_term::attr_list, wl_pair_list::bbbb_2, clear_copy(), wl_keyword::combined_name, wl_psi_term::coref, current_module, deref_ptr, Errorline(), HEAP, HEAP_ALLOC, wl_definition::keyword, MAX_BUILT_INS, wl_module::module_name, wl_pair_list::next, NULL, predicate, quote_copy(), redefine(), wl_psi_term::resid, wl_definition::rule, succeed, wl_keyword::symbol, TRUE, wl_psi_term::type, wl_definition::type_def, undef, and wl_psi_term::value_3.
void assert_clause | ( | ptr_psi_term | t | ) |
Definition at line 267 of file login.c.
References add_rule(), assert_attributes(), assert_complicated_type(), assert_ok, assert_rule(), deref_ptr, equ_tok, FALSE, function_it, NULL, and predicate.
Definition at line 237 of file login.c.
References add_rule(), get_two_args(), and Syntaxerrorline().
void backtrack | ( | ) |
Definition at line 724 of file login.c.
References choice_stack, goal_stack, wl_choice_point::goal_stack, wl_choice_point::next, NULL, resid_aim, stack_pointer, wl_choice_point::stack_top, undo(), and wl_choice_point::undo_point.
long clause_aim | ( | long | r | ) |
Definition at line 1775 of file login.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_goal::cccc_1, clause, clear_copy(), del_clause, Errorline(), FALSE, i_eval_args(), wl_definition::keyword, MAX_BUILT_INS, NULL, push_choice_point(), push_goal(), quote_copy(), retract, STACK, wl_psi_term::status, wl_keyword::symbol, traceline(), TRUE, wl_psi_term::type, and unify.
|
static |
Definition at line 757 of file login.c.
References wl_stack::aaaa_3, clean_iter, clean_succ, mem_base, wl_stack::next, NULL, stack_pointer, wl_stack::type, undo_action, undo_stack, and VALID_RANGE.
void clean_undo_window | ( | long | disp, |
long | wind | ||
) |
Definition at line 792 of file login.c.
References choice_stack, wl_stack::next, undo_action, wl_choice_point::undo_point, and undo_stack.
long disjunct_aim | ( | ) |
int dummy_printf | ( | char * | f, |
char * | s, | ||
char * | t | ||
) |
void fetch_def | ( | ptr_psi_term | u, |
long | allflag | ||
) |
Definition at line 1128 of file login.c.
References wl_triple_list::aaaa_4, wl_psi_term::attr_list, wl_triple_list::bbbb_4, wl_triple_list::cccc_4, clear_copy(), DEFRULES, deref_ptr, eval_copy(), i_eval_args(), int_ptr, wl_triple_list::next, NULL, prove, push2_ptr_value(), push_goal(), RMASK, SMASK, STACK, wl_psi_term::status, traceline(), and unify.
void fetch_def_lazy | ( | ptr_psi_term | u, |
ptr_definition | old1, | ||
ptr_definition | old2, | ||
ptr_node | old1attr, | ||
ptr_node | old2attr, | ||
long | old1stat, | ||
long | old2stat | ||
) |
Definition at line 1188 of file login.c.
References wl_triple_list::aaaa_4, wl_definition::always_check, wl_psi_term::attr_list, wl_triple_list::bbbb_4, wl_triple_list::cccc_4, clear_copy(), DEFRULES, deref_ptr, eval_copy(), FALSE, i_eval_args(), int_ptr, matches(), wl_triple_list::next, NULL, prove, push_goal(), push_ptr_value(), STACK, wl_psi_term::status, traceline(), and unify.
void get_one_arg | ( | ptr_node | t, |
ptr_psi_term * | a | ||
) |
Definition at line 86 of file login.c.
References wl_node::data, FEATCMP, find(), NULL, and one.
void get_one_arg_addr | ( | ptr_node | t, |
ptr_psi_term ** | a | ||
) |
Definition at line 115 of file login.c.
References wl_node::data, FEATCMP, find(), NULL, and one.
void get_two_args | ( | ptr_node | t, |
ptr_psi_term * | a, | ||
ptr_psi_term * | b | ||
) |
Definition at line 37 of file login.c.
References wl_node::data, FEATCMP, find(), wl_node::key, NULL, one, wl_node::right, and two.
long load_aim | ( | ) |
Definition at line 2104 of file login.c.
References wl_goal::aaaa_1, abort_life(), aim, assert_clause(), assert_first, wl_goal::bbbb_1, wl_goal::cccc_1, choice_stack, CURRENT_MODULE, DEFRULES, encode_types(), eof, FACT, FALSE, file_date, find_module(), general_cut, get_attr(), input_state, input_stream, load, noisy, NULL, open_input_file(), parse(), prove, push_choice_point(), push_goal(), QUERY, restore_state(), save_state(), set_current_module(), stack_copy_psi_term(), TRUE, wl_psi_term::type, var_occurred, and var_tree.
void main_prove | ( | ) |
Definition at line 2205 of file login.c.
References wl_goal::aaaa_1, aim, backtrack(), wl_goal::bbbb_1, c_what_next, wl_goal::cccc_1, choice_stack, clause, clause_aim(), clean_trail(), curried, cut_to, del_clause, disj, disjunct_aim(), do_currying(), do_residuation_user(), Errorline(), eval, eval_aim(), eval_cut, fail, FALSE, freeze_cut, function_it, GC_THRESHOLD, general_cut, goal_count, goal_stack, handle_interrupt(), heap_pointer, i_check_out(), implies_cut, infoline(), interrupted, load, load_aim(), main_loop_ok, match, match_aim(), memory_check(), wl_goal::next, NULL, prove, prove_aim(), release_resid(), resid_aim, resid_vars, restore_resid(), retract, show_count(), stack_pointer, stepcount, stepflag, steptrace, traceline(), TRUE, wl_goal::type, type_disj, type_disj_aim(), undo(), unify, unify_aim(), unify_aim_noeval(), unify_noeval, warningline(), what_next, what_next_aim(), xcount, xevent_existing, XEVENTDELAY, and xeventdelay.
Definition at line 833 of file login.c.
References featcmp(), wl_node::left, NULL, push_goal(), wl_node::right, and unify.
Definition at line 884 of file login.c.
References deref2_rec_eval(), featcmp(), wl_node::left, NULL, and wl_node::right.
Definition at line 934 of file login.c.
References deref2_eval(), featcmp(), int_ptr, wl_node::left, more_u_attr, more_v_attr, NULL, push_ptr_value(), wl_node::right, STACK_ALLOC, and TRUE.
long no_choices | ( | ) |
Definition at line 1838 of file login.c.
References choice_stack, wl_choice_point::goal_stack, NULL, wl_goal::type, and what_next.
long num_choices | ( | ) |
Definition at line 1845 of file login.c.
References choice_stack, and wl_choice_point::next.
long prove_aim | ( | ) |
Definition at line 1545 of file login.c.
References wl_goal::aaaa_1, wl_pair_list::aaaa_2, aim, and, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_pair_list::bbbb_2, boolpredsym, c_rule, call_handlersym, can_curry, choice_stack, clean_trail(), clear_copy(), wl_psi_term::coref, curried, cut, cut_to, wl_node::data, DEFRULES, deref_args, deref_ptr, do_currying(), do_residuation_user(), eval_copy(), FALSE, function_it, get_two_args(), goal_count, goal_stack, i_check_out(), i_eval_args(), wl_node::key, wl_node::left, lf_false, lf_true, life_or, MAX_BUILT_INS, merge(), wl_pair_list::next, wl_goal::next, NULL, one, predicate, wl_definition::protected, prove, push_choice_point(), push_goal(), push_psi_ptr_value(), quote_copy(), resid_aim, resid_vars, wl_node::right, wl_definition::rule, set_empty, STACK, stack_add_psi_attr(), STACK_ALLOC, stack_psi_term(), wl_psi_term::status, sub_type(), succeed, traceline(), tracesym, TRUE, wl_psi_term::type, wl_definition::type_def, type_it, undef, and wl_psi_term::value_3.
Definition at line 531 of file login.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, choice_stack, wl_stack::next, STACK_ALLOC, stack_pointer, wl_stack::type, and undo_stack.
void push_choice_point | ( | goals | t, |
ptr_psi_term | aaaa_6, | ||
ptr_psi_term | bbbb_6, | ||
GENERIC | cccc_6 | ||
) |
Definition at line 591 of file login.c.
References wl_goal::aaaa_1, wl_goal::bbbb_1, wl_goal::cccc_1, choice_stack, FALSE, global_time_stamp, goal_stack, wl_choice_point::goal_stack, wl_goal::next, wl_choice_point::next, wl_goal::pending, STACK_ALLOC, stack_pointer, wl_choice_point::stack_top, wl_choice_point::time_stamp, wl_goal::type, wl_choice_point::undo_point, and undo_stack.
void push_def_ptr_value | ( | ptr_psi_term | q, |
GENERIC * | p | ||
) |
Definition at line 389 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, choice_stack, def_ptr, global_time_stamp, heap_pointer, int_ptr, wl_stack::next, push_ptr_value(), STACK_ALLOC, stack_pointer, trail_condition(), wl_stack::type, undo_stack, and VALID_ADDRESS.
void push_goal | ( | goals | t, |
ptr_psi_term | aaaa_5, | ||
ptr_psi_term | bbbb_5, | ||
GENERIC | cccc_5 | ||
) |
Definition at line 555 of file login.c.
References wl_goal::aaaa_1, wl_goal::bbbb_1, wl_goal::cccc_1, FALSE, goal_stack, wl_goal::next, wl_goal::pending, STACK_ALLOC, and wl_goal::type.
void push_psi_ptr_value | ( | ptr_psi_term | q, |
GENERIC * | p | ||
) |
Definition at line 443 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, choice_stack, global_time_stamp, int_ptr, wl_stack::next, psi_term_ptr, push_ptr_value(), STACK_ALLOC, stack_pointer, trail_condition(), wl_stack::type, undo_stack, and VALID_ADDRESS.
Definition at line 360 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, choice_stack, heap_pointer, wl_stack::next, STACK_ALLOC, stack_pointer, wl_stack::type, undo_stack, and VALID_ADDRESS.
Definition at line 488 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, wl_stack::next, STACK_ALLOC, wl_stack::type, undo_stack, and VALID_ADDRESS.
void push_window | ( | long | type, |
long | disp, | ||
long | wind | ||
) |
Definition at line 510 of file login.c.
References wl_stack::aaaa_3, assert, wl_stack::bbbb_3, wl_stack::next, STACK_ALLOC, wl_stack::type, undo_action, and undo_stack.
void reset_stacks | ( | ) |
void show_count | ( | ) |
Definition at line 1085 of file login.c.
References end_time, goal_count, heap_pointer, mem_base, mem_limit, NOTQUIET, stack_info(), stack_pointer, and verbose.
void start_chrono | ( | ) |
ptr_choice_point topmost_what_next | ( | ) |
Definition at line 1907 of file login.c.
References choice_stack, wl_choice_point::goal_stack, wl_choice_point::next, NULL, wl_goal::type, and what_next.
long trail_condition | ( | psi_term * | Q | ) |
void type_disj_aim | ( | ) |
Definition at line 1744 of file login.c.
References wl_goal::aaaa_1, aim, wl_definition::always_check, wl_psi_term::attr_list, wl_goal::bbbb_1, def_ptr, FALSE, fetch_def(), wl_definition::keyword, wl_int_list::next, NULL, push_choice_point(), push_ptr_value(), wl_psi_term::status, wl_keyword::symbol, traceline(), wl_psi_term::type, type_disj, and wl_int_list::value_1.
void undo | ( | ptr_stack | limit | ) |
Definition at line 646 of file login.c.
References wl_stack::aaaa_3, wl_stack::bbbb_3, destroy_window, hide_subwindow, hide_window, wl_stack::next, show_subwindow, show_window, wl_stack::type, undo_action, and undo_stack.
void undo_actions | ( | ) |
long unify_aim | ( | ) |
long unify_aim_noeval | ( | ) |
long unify_body | ( | long | eval_flag | ) |
Definition at line 1269 of file login.c.
References wl_goal::aaaa_1, aim, wl_psi_term::attr_list, wl_goal::bbbb_1, wl_psi_term::coref, cut, cut_ptr, decode(), def_ptr, deref, deref_ptr, equal_types, Errorline(), FALSE, fetch_def_lazy(), wl_psi_term::flags, function_it, glb(), global_unify(), heap_pointer, int_ptr, integer, wl_definition::keyword, merge(), more_u_attr, more_v_attr, new_stat, wl_int_list::next, NULL, overlap_type(), push_choice_point(), push_psi_ptr_value(), push_ptr_value(), quoted_string, QUOTED_TRUE, REAL, real, release_resid(), wl_psi_term::resid, wl_psi_term::status, sub_type(), wl_keyword::symbol, sys_bytedata, traceline(), TRUE, wl_psi_term::type, wl_definition::type_def, type_disj, type_it, u_func, v_func, wl_int_list::value_1, wl_psi_term::value_3, and warningline().
long what_next_aim | ( | ) |
Definition at line 1942 of file login.c.
References wl_goal::aaaa_1, aborthooksym, aim, assert_clause(), assert_first, wl_goal::bbbb_1, begin_terminal_io(), wl_goal::cccc_1, current_module, DEFRULES, encode_types(), end_terminal_io(), eof, EOLN, FACT, FALSE, function_it, infoline(), MAX_LEVEL, wl_module::module_name, no_choices(), NOTQUIET, NULL, parse(), print_variables(), prompt, PROMPT, prompt_buffer, prove, push_choice_point(), push_goal(), put_back_char(), QUERY, read_char(), release_resid(), reset_stacks(), reset_step(), show_count(), stack_copy_psi_term(), start_chrono(), stdin_cleareof(), TRUE, TRUEMASK, wl_psi_term::type, wl_definition::type_def, undo(), undo_stack, user_module, var_occurred, what_next, what_next_cut(), x_window_creation, and xevent_existing.
long what_next_cut | ( | ) |
Definition at line 1872 of file login.c.
References backtrack(), choice_stack, FALSE, goal_stack, NULL, TRUE, wl_goal::type, undo(), and what_next.
unsigned long global_time_stamp =INIT_TIME_STAMP |