00001 /* Copyright 1991 Digital Equipment Corporation. 00002 ** All Rights Reserved. 00003 *****************************************************************/ 00004 /* $Id: login.h,v 1.2 1994/12/08 23:29:15 duchier Exp $ */ 00005 00006 /* High level calls */ 00007 extern void assert_clause(); 00008 extern void prove_psi_term(); 00009 00010 /* Low level calls */ 00011 extern void push_goal(); 00012 extern void fetch_def(); 00013 extern void get_one_arg(); 00014 extern void get_one_arg_addr(); 00015 extern void get_two_args(); 00016 extern void merge_unify(); 00017 extern void fetch_def_lazy(); 00018 00019 /* Choice points and trailing */ 00020 extern void push_choice_point(); 00021 extern ptr_stack undo_stack; 00022 extern void push_ptr_value(); 00023 extern void push_ptr_value_global(); 00024 extern void push2_ptr_value(); 00025 extern void push_window(); 00026 extern void clean_undo_window(); 00027 00028 #ifdef TS 00029 extern void push_psi_ptr_value(); /* 9.6 */ 00030 extern unsigned long global_time_stamp; /* 9.6 */ 00031 /* Trail if q was last modified before the topmost choice point */ 00032 #define TRAIL_CONDITION(Q) (choice_stack && \ 00033 choice_stack->time_stamp>=Q->time_stamp) 00034 #endif 00035 00036 /* Detrailing */ 00037 extern void undo(); 00038 extern void undo_actions(); 00039 00040 /* User-interface */ 00041 extern long stepflag; 00042 extern long ignore_eff; 00043 extern long goal_count; 00044 extern void show_count(); 00045 #ifndef OS2_PORT 00046 extern struct tms start_time,end_time; 00047 #else 00048 float start_time,end_time; 00049 #endif
1.5.4