18 static unsigned int libseed;
58 printf(
"\n\n*** Execution is not allowed to continue.\n");
138 for (i = 0; i < argc; i++) {
144 Errorline(
"Too many command line arguments\n");
229 if(!strcmp(query,
".")) {
235 if(!strcmp(query,
";")) {
261 else if (sort==
FACT) {
266 undo(save_undo_stack);
382 char **features_loc=
NULL;
390 features_loc=(
char **)malloc((n+1)*
sizeof(
char *));
416 value= *((
double *)psi->
value_3);
GENERIC stack_pointer
used to allocate from stack - size allocated added - adj for alignment
#define prove
was enum (goal) – but must be long for error.c - now typedef
char * WFType(ptr_psi_term psi)
WFType.
void init_trace()
init_trace
void undo(ptr_stack limit)
undo
#define FEATCMP
indicates to use featcmp for comparison (in trees.c)
ptr_module user_module
Default module for user input.
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.
ptr_module current_module
The current module for the tokenizer.
void save_parse_state(ptr_parse_block pb)
save_parse_state
void init_io()
void init_io
#define DEFRULES
Must be different from NULL, a built-in index, and a pointer Used to indicate that the rules of the d...
#define WFmore
Input succeeded with possibly more answers.
#define FACT
Fact Kind of user input.
int WFFeatureCount(ptr_psi_term psi)
WFFeatureCount.
struct wl_psi_term * ptr_psi_term
quotedStackCopy
#define WFno
Input failed.
void * PsiTerm
Type for psi-terms, hidden from users.
#define PROMPT
Head of prompt.
#define QUERY
Query Kind of user input.
#define WFyes
Input succeeded.
#define c_what_next
was enum (goal) – but must be long for error.c - now typedef
long sub_type(ptr_definition t1, ptr_definition t2)
sub_type
ptr_definition real
symbol in bi module
struct tms life_start
time life started - seconds
void Errorline(char *format,...)
Errorline.
unsigned long * GENERIC
unsigned long *GENERIC
char * heap_copy_string(char *s)
heap_copy_string
void begin_terminal_io()
begin_terminal_io
int arg_c
set from argc in either life.c or lib.c
#define TRUE
Standard boolean.
#define STRCMP
indicates to use strcmp for comparison (c function)
int WFInput(char *query)
WFInput.
GENERIC other_base
mem_size memory allocated in init_memory by malloc
void exit_if_true(long exitflag)
exit_if_true
void start_chrono()
start_chrono
void init_global_vars()
init_global_vars
#define FALSE
Standard boolean.
void init_print()
init_print
void init_memory()
init_memory ()
#define fail
was enum (goal) – but must be long for error.c - now typedef
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
char * arg_v[ARGNN]
set from argv in either life.c or lib.c
ptr_psi_term stack_copy_psi_term(psi_term t)
stack_copy_psi_term
#define load
was enum (goal) – but must be long for error.c - now typedef
char ** group_features(char **f, ptr_node n)
group_features
double WFGetDouble(ptr_psi_term psi, int *ok)
WFGetDouble.
#define PROMPT_BUFFER
Size of prompt buffer.
void encode_types()
encode_types
long stdin_terminal
set in init_io in lib.c to true - never changed - used in token.c
void main_prove()
main_prove
void x_setup_builtins()
x_setup_builtins
void init_built_in_types()
init_built_in_types
GENERIC mem_base
mem_size memory allocated in init_memory by malloc
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
ptr_definition quoted_string
symbol in bi module
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.