13 static unsigned int libseed;
44 printf(
"\n\n*** Execution is not allowed to continue.\n");
56 struct stat buffer_loc;
58 fstat(fileno(stdin), &buffer_loc);
137 for (i = 0; i < argc; i++) {
143 Errorline(
"Too many command line arguments\n");
159 (void)times(&life_start);
226 if(!strcmp(query,
".")) {
232 if(!strcmp(query,
";")) {
258 else if (sort==
FACT) {
263 undo(save_undo_stack);
357 result=psi->type->keyword->combined_name;
368 char **features_loc=
NULL;
376 features_loc=(
char **)malloc((n+1)*
sizeof(
char *));
400 value= *((
double *)psi->value_3);
423 value=(
char *)psi->value_3;
char * WFType(ptr_psi_term psi)
void undo(ptr_stack limit)
ptr_module current_module
void push_choice_point(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
char prompt_buffer[PROMPT_BUFFER]
void save_parse_state(ptr_parse_block pb)
int WFFeatureCount(ptr_psi_term psi)
long sub_type(ptr_definition t1, ptr_definition t2)
void Errorline(char *format,...)
char * heap_copy_string(char *s)
void exit_if_true(long exitflag)
ptr_definition quoted_string
ptr_node find(long comp, char *keystr, ptr_node tree)
ptr_psi_term stack_copy_psi_term(psi_term t)
char ** group_features(char **f, ptr_node n)
double WFGetDouble(ptr_psi_term psi, int *ok)
void WFInit(long argc, argv)
struct wl_psi_term * ptr_psi_term
void init_built_in_types()
PsiTerm WFGetVar(char *name)
char * WFGetString(ptr_psi_term psi, int *ok)
int WFfeature_count_loop(ptr_node n)
long open_input_file(char *file)
ptr_module set_current_module(ptr_module module)
void assert_clause(ptr_psi_term t)
ptr_choice_point choice_stack
char ** WFFeatures(ptr_psi_term psi)
PsiTerm WFGetFeature(ptr_psi_term psi, char *feature)