18 static unsigned int libseed;
58 printf(
"\n\n*** Execution is not allowed to continue.\n");
72 struct stat buffer_loc;
74 fstat(fileno(stdin), &buffer_loc);
149 for (i = 0; i < argc; i++) {
155 Errorline(
"Too many command line arguments\n");
171 (void)times(&life_start);
240 if(!strcmp(query,
".")) {
246 if(!strcmp(query,
";")) {
272 else if (sort==
FACT) {
277 undo(save_undo_stack);
393 char **features_loc=
NULL;
401 features_loc=(
char **)malloc((n+1)*
sizeof(
char *));
427 value= *((
double *)psi->
value_3);
char * WFType(ptr_psi_term psi)
WFType.
void init_trace()
init_trace
void undo(ptr_stack limit)
undo
ptr_module current_module
void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
push_choice_point
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
push_goal
psi_term parse(long *q)
parse
void init_system()
init_system
char prompt_buffer[PROMPT_BUFFER]
void WFInit(long argc, char *argv[])
WFInit.
void save_parse_state(ptr_parse_block pb)
save_parse_state
void init_io()
void init_io
int WFFeatureCount(ptr_psi_term psi)
WFFeatureCount.
struct wl_psi_term * ptr_psi_term
quotedStackCopy
long sub_type(ptr_definition t1, ptr_definition t2)
sub_type
void Errorline(char *format,...)
Errorline.
char * heap_copy_string(char *s)
heap_copy_string
void begin_terminal_io()
begin_terminal_io
int WFInput(char *query)
WFInput.
void exit_if_true(long exitflag)
exit_if_true
void start_chrono()
start_chrono
void init_global_vars()
init_global_vars
void init_print()
init_print
ptr_definition quoted_string
void init_memory()
init_memory ()
void init_parse_state()
init_parse_state
ptr_psi_term stack_nil()
stack_nil
void reset_stacks()
reset_stacks
ptr_node find(long comp, char *keystr, ptr_node tree)
find
ptr_psi_term stack_copy_psi_term(psi_term t)
stack_copy_psi_term
char ** group_features(char **f, ptr_node n)
group_features
double WFGetDouble(ptr_psi_term psi, int *ok)
WFGetDouble.
void encode_types()
encode_types
void main_prove()
main_prove
void x_setup_builtins()
x_setup_builtins
void init_built_in_types()
init_built_in_types
void init_modules()
init_modules
long memory_check()
memory_check
void stdin_cleareof()
stdin_cleareof
PsiTerm WFGetVar(char *name)
WFGetVar.
char * WFGetString(ptr_psi_term psi, int *ok)
WFGetString.
void init_copy()
init_copy
int WFfeature_count_loop(ptr_node n)
WFfeature_count_loop.
long open_input_file(char *file)
open_input_file
ptr_module set_current_module(ptr_module module)
set_current_module
void assert_clause(ptr_psi_term t)
assert_clause
void init_interrupt()
INIT_INTERRUPT.
ptr_choice_point choice_stack
char ** WFFeatures(ptr_psi_term psi)
WFFeatures.
PsiTerm WFGetFeature(ptr_psi_term psi, char *feature)
WFGetFeature.