14 static unsigned int lifeseed;
17 char *
numbers[21] = {
"1",
"2",
"3",
"4",
"5",
"6",
"7",
"8",
"9",
"10",
18 "11",
"12",
"13",
"14",
"15",
"16",
"17",
"18",
"19",
"20",
34 int main(
int argc,
char *argv[])
54 for (i = 0; i < argc;i++)
60 Errorline(
"Too many command line arguments\n");
75 (void)times(&life_start);
126 while (c!=EOF && !(c>32 && c!=
'.' && c!=
';')) c=
read_char();
157 else if (sort==
FACT) {
160 undo(save_undo_stack);
void undo(ptr_stack limit)
undo
int main(int argc, char *argv[])
main
void put_back_char(long c)
put_back_char
void exit_life(long nl_flag)
exit_life
void exit_if_true(long exitflag)
exit_if_true
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
void init_io()
void init_io
void Errorline(char *format,...)
void end_terminal_io()
end_terminal_io
void infoline(char *format,...)
char * heap_copy_string(char *s)
heap_copy_string
void begin_terminal_io()
begin_terminal_io
void start_chrono()
start_chrono
void init_print()
init_print
void init_memory()
init_memory ()
ptr_psi_term stack_copy_psi_term(psi_term t)
stack_copy_psi_term
void encode_types()
encode_types
void main_prove()
main_prove
void init_built_in_types()
init_built_in_types
long read_char()
read_char
void init_modules()
init_modules
void stdin_cleareof()
stdin_cleareof
void init_copy()
init_copy
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.
int GetBoolOption(char *name)
GetBoolOption.