home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / SOURCE / LOGIN.H < prev    next >
C/C++ Source or Header  |  1996-06-16  |  1KB  |  50 lines
  1. /* Copyright 1991 Digital Equipment Corporation.
  2. ** All Rights Reserved.
  3. *****************************************************************/
  4. /*     $Id: login.h,v 1.2 1994/12/08 23:29:15 duchier Exp $     */
  5.  
  6. /* High level calls */
  7. extern void assert_clause();
  8. extern void prove_psi_term();
  9.  
  10. /* Low level calls */
  11. extern void push_goal();
  12. extern void fetch_def();
  13. extern void get_one_arg();
  14. extern void get_one_arg_addr();
  15. extern void get_two_args();
  16. extern void merge_unify();
  17. extern void fetch_def_lazy();
  18.  
  19. /* Choice points and trailing */
  20. extern void push_choice_point();
  21. extern ptr_stack undo_stack;
  22. extern void push_ptr_value();
  23. extern void push_ptr_value_global();
  24. extern void push2_ptr_value();
  25. extern void push_window();
  26. extern void clean_undo_window();
  27.  
  28. #ifdef TS
  29. extern void push_psi_ptr_value(); /* 9.6 */
  30. extern unsigned long global_time_stamp; /* 9.6 */
  31. /* Trail if q was last modified before the topmost choice point */
  32. #define TRAIL_CONDITION(Q) (choice_stack && \
  33.                             choice_stack->time_stamp>=Q->time_stamp)
  34. #endif
  35.  
  36. /* Detrailing */
  37. extern void undo();
  38. extern void undo_actions();
  39.  
  40. /* User-interface */
  41. extern long stepflag;
  42. extern long ignore_eff;
  43. extern long goal_count;
  44. extern void show_count();
  45. #ifndef OS2_PORT
  46. extern struct tms start_time,end_time;
  47. #else
  48. float start_time,end_time;
  49. #endif
  50.