home *** CD-ROM | disk | FTP | other *** search
- /***************************************************
- ****************************************************
- ** **
- ** HU-Prolog Portable Interpreter System **
- ** **
- ** Release 1.62 January 1990 **
- ** **
- ** Authors: C.Horn, M.Dziadzka, M.Horn **
- ** **
- ** (C) 1989 Humboldt-University **
- ** Department of Mathematics **
- ** GDR 1086 Berlin, P.O.Box 1297 **
- ** **
- ****************************************************
- ***************************************************/
-
-
- #define UNBOUNDT atom_units( 1)
- #define VART atom_units( 2)
- #define SKELT atom_units( 3)
- #define INTT atom_units( 4)
- #define CLAUSET atom_units( 5)
-
- #define FUNCNAME atom_units( 6)
- /* regular atom */
-
- #define REALT atom_units( 7)
- #define LONGT atom_units( 8)
-
- #define NORMATOM atom_units( 9)
-
- /* I/O */
- #define SEE_1 atom_units( 10)
- #define SEEING_1 atom_units( 11)
- #define SEEN_0 atom_units( 12)
- #define TELL_1 atom_units( 13)
- #define TELLING_1 atom_units( 14)
- #define TOLD_0 atom_units( 15)
- #define OPEN_1 atom_units( 16)
- #define CLOSE_1 atom_units( 17)
- #define SEEK_2 atom_units( 18)
-
- #define WRITE_1 atom_units( 19)
- #define WRITEQ_1 atom_units( 20)
- #define DISPLAY_1 atom_units( 21)
- #define GET0_1 atom_units( 22)
- #define UNGET_0 atom_units( 23)
- #define READ_1 atom_units( 24)
- #define READ_2 atom_units( 25)
- #define GET_1 atom_units( 26)
- #define PUT_1 atom_units( 27)
- #define EOLN_0 atom_units( 28)
- #define EOF_0 atom_units( 29)
- #define NL_0 atom_units( 30)
- #define TAB_1 atom_units( 31)
- #define SKIP_1 atom_units( 32)
- #define CLS_0 atom_units( 33)
- #define GOTOXY_2 atom_units( 34)
- #define ASK_1 atom_units( 35)
-
- #define TTYGET_1 atom_units( 36)
- #define TTYGET0_1 atom_units( 37)
- #define TTYPUT_1 atom_units( 38)
- #define TTYREAD_1 atom_units( 39)
- #define TTYWRITE_1 atom_units( 40)
- #define TTYSKIP_1 atom_units( 41)
- #define TTYCLS_0 atom_units( 42)
- #define TTYGOTOXY_2 atom_units( 43)
- #define TTYNL_0 atom_units( 44)
- #define TTYTAB_1 atom_units( 45)
- #define TTYASK_1 atom_units( 46)
-
- #define FNAME_2 atom_units( 47)
- #define FASSIGN_2 atom_units( 48)
- #define aWINDOW_0 atom_units( 49)
- #define WGET0_1 atom_units( 50)
-
-
-
- /* flags */
-
- #define TRACE_1 atom_units( 51)
- #define TRACE_0 atom_units( 52)
- #define NOTRACE_0 atom_units( 53)
- #define SPY_1 atom_units( 54)
- #define NOSPY_1 atom_units( 55)
- #define ECHO_1 atom_units( 56)
- #define WARN_1 atom_units( 57)
- #define DEBUG_1 atom_units( 58)
- #define OCHECK_1 atom_units( 59)
- #define FILEE_1 atom_units( 60)
- #define FILEE_0 atom_units( 61)
- #define NFILEE_0 atom_units( 62)
- #define SYSMODE_1 atom_units( 63)
- #define aINTERRUPT_1 atom_units( 64)
- #define REDUCE_1 atom_units( 65)
-
- #define ATOM_1 atom_units( 66)
- #define INTEGER_1 atom_units( 67)
- #define NUMBER_1 atom_units( 68)
- #define ATOMIC_1 atom_units( 69)
- #define VAR_1 atom_units( 70)
- #define NONVAR_1 atom_units( 71)
- #define INVAR_1 atom_units( 72)
- #define GROUND_1 atom_units( 73)
- #define LIST_1 atom_units( 74)
- #define COMPOUND_1 atom_units( 75)
- #define STRING_1 atom_units( 76)
- #define CURATOM_1 atom_units( 77)
- #define CUROP_3 atom_units( 78)
- #define CURPRED_1 atom_units( 79)
- #define FUNCTOR_3 atom_units( 80)
- #define ARG_3 atom_units( 81)
- #define NAME_2 atom_units( 82)
- #define UNIV_2 atom_units( 83)
- #define SORT_2 atom_units( 84)
- #define SORT0_2 atom_units( 85)
- #define MEMBER_2 atom_units( 86)
- #define IS_MEMBER_2 atom_units( 87)
- #define NO_MEMBER_2 atom_units( 88)
- #define APP_3 atom_units( 89)
-
- #define DBREF_1 atom_units( 90)
- #define ASSERT_1 atom_units( 91)
- #define ASSERTA_1 atom_units( 92)
- #define ASSERTZ_1 atom_units( 93)
- #define DBASS_2 atom_units( 94)
- #define DBASSA_2 atom_units( 95)
- #define DBASSZ_2 atom_units( 96)
- #define DBASS_3 atom_units( 97)
- #define RETRACT_1 atom_units( 98)
- #define RETALL_1 atom_units( 99)
- #define DBRET_2 atom_units(100)
- #define ABOL_1 atom_units(101)
- #define ABOL_2 atom_units(102)
- #define CLAUSE_2 atom_units(103)
- #define CLAUSE_3 atom_units(104)
- #define CONSULT_1 atom_units(105)
- #define RECONSULT_1 atom_units(106)
- #define LISTING_1 atom_units(107)
- #define LISTALL_0 atom_units(108)
-
- #define OP_3 atom_units(109)
- #define CALL_1 atom_units(110)
- #define CUT_0 atom_units(111)
- #define FAIL_0 atom_units(112)
- #define TRUE_0 atom_units(113)
- #define REPEAT_0 atom_units(114)
- #define END_0 atom_units(115)
- #define HALT_0 atom_units(116)
- #define EXIT_1 atom_units(117)
- #define ABORT_0 atom_units(118)
- #define RESTART_0 atom_units(119)
- #define STATS_0 atom_units(120)
- #define MAIN_0 atom_units(121)
- #define SAVE_1 atom_units(122)
-
- #define IS_2 atom_units(123)
- #define ASSIGN_2 atom_units(124)
- #define LT_2 atom_units(125)
- #define LE_2 atom_units(126)
- #define GT_2 atom_units(127)
- #define GE_2 atom_units(128)
- #define EQ_2 atom_units(129)
- #define NE_2 atom_units(130)
- #define PLUS_2 atom_units(131)
- #define MINUS_1 atom_units(132)
- #define MINUS_2 atom_units(133)
- #define TIMES_2 atom_units(134)
- #define DIVIDE_2 atom_units(135)
- #define MOD_2 atom_units(136)
-
- #define NIL_0 atom_units(137)
- #define CONS_2 atom_units(138)
- #define CURLY_0 atom_units(139)
- #define CURLY_1 atom_units(140)
- #define ARROW_2 atom_units(141)
- #define ARROW_1 atom_units(142)
- #define QUESTION_1 atom_units(143)
- #define SEMI_2 atom_units(144)
- #define COMMA_2 atom_units(145)
- #define IMPL_2 atom_units(146)
- #define NOT_1 atom_units(147)
- #define NOT1_1 atom_units(148)
- #define ISEQ_2 atom_units(149)
- #define ISNEQ_2 atom_units(150)
- #define EQUAL_2 atom_units(151)
- #define NOEQUAL_2 atom_units(152)
-
- #define TOP_0 atom_units(153)
- #define INIT_0 atom_units(154)
- #define PROMPT_0 atom_units(155)
- #define INTERRUPT_0 atom_units(156)
- #define ERROR_2 atom_units(157)
- #define UNKNOWN_1 atom_units(158)
-
- #define STDIN_0 atom_units(159)
- #define STDOUT_0 atom_units(160)
- #define STDERR_0 atom_units(161)
- #define STDTRACE_0 atom_units(162)
- #define ON_0 atom_units(163)
- #define OFF_0 atom_units(164)
- #define ALL_0 atom_units(165)
- #define USER_0 atom_units(166)
- #define NULL_0 atom_units(167)
- #define FX_0 atom_units(168)
- #define FY_0 atom_units(169)
- #define XF_0 atom_units(170)
- #define YF_0 atom_units(171)
- #define XFX_0 atom_units(172)
- #define XFY_0 atom_units(173)
- #define YFX_0 atom_units(174)
- #define CALL_0 atom_units(175)
- #define PROVED_0 atom_units(176)
- #define REDO_0 atom_units(177)
- #define FAILED_0 atom_units(178)
-
- #define DICT_1 atom_units(179)
- #define SDICT_1 atom_units(180)
- #define SYS_1 atom_units(181)
-
- /* arithmetic functions */
- #define MAXINT_0 atom_units(182)
- #define MININT_0 atom_units(183)
- #define MAXAR_0 atom_units(184)
- #define MAXDEP_0 atom_units(185)
- #define LSHIFT_2 atom_units(186)
- #define RSHIFT_2 atom_units(187)
- #define BITAND_2 atom_units(188)
- #define BITOR_2 atom_units(189)
- #define BITNEG_1 atom_units(190)
- #define AND_2 atom_units(191)
- #define OR_2 atom_units(192)
- #define NEG_1 atom_units(193)
- #define ENTIER_1 atom_units(194)
- #define IDIV_2 atom_units(195)
- #define ALT_2 atom_units(196)
- #define ALE_2 atom_units(197)
- #define AGT_2 atom_units(198)
- #define AGE_2 atom_units(199)
- #define AEQ_2 atom_units(200)
- #define ANE_2 atom_units(201)
- #define QUOTE_1 atom_units(202)
- #define EVAL_1 atom_units(203)
-
-
-
- #define EVALUATE_2 atom_units(204)
- #define REDUCE_2 atom_units(205)
- #define DASSIGN_2 atom_units(206)
- #define ACOMP_1 atom_units(207)
-
- #define ANCESTORS_1 atom_units(208)
- #define PRIVATE_1 atom_units(209)
- #define HIDE_1 atom_units(210)
- #define ENSURE_3 atom_units(211)
- #define NL_2 atom_units(212)
- #define VERSION_0 atom_units(213)
-
- #define GOTO_1 atom_units(214)
-
- #define ARGC_1 atom_units(215)
- #define ARGV_2 atom_units(216)
- #define OPSYS_1 atom_units(217)
- #define TIMER_1 atom_units(218)
-
- #define SYSTEM_1 atom_units(219)
- #define GETENV_2 atom_units(220)
- #define PUTENV_2 atom_units(221)
- #define TIME_3 atom_units(222)
- #define DATE_3 atom_units(223)
- #define WEEKDAY_1 atom_units(224)
-
-
-
-
- #define COLON_2 atom_units(225)
- #define INL_1 atom_units(226)
- #define INR_1 atom_units(227)
- #define SPREAD_2 atom_units(228)
- #define DECIDE_3 atom_units(229)
- #define IND_4 atom_units(230)
- #define INT_EQ_4 atom_units(231)
- #define LISTIND_3 atom_units(232)
- #define LAMBDA_1 atom_units(233)
- #define SUBST_3 atom_units(234)
- #define SUBST_4 atom_units(235)
- #define RECIND_3 atom_units(236)
- #define TILDE_0 atom_units(237)
- #define OF_2 atom_units(238)
- #define SUCC_1 atom_units(239)
- #define PRED_1 atom_units(240)
- #define PIND_3 atom_units(241)
-
- #define iCHOICEP_1 atom_units(242)
- #define iSTACKT_1 atom_units(243)
- #define iHEAPT_1 atom_units(244)
- #define iASTACKT_1 atom_units(245)
- #define iAHEAPT_1 atom_units(246)
- #define iENV_1 atom_units(247)
- #define iTRAIL_1 atom_units(248)
- #define iNROFCALLS_2 atom_units(249)
-
-
- #define PEEK_3 atom_units(250)
- #define POKE_2 atom_units(251)
-
- #define LAST_ATOM atom_units(252)
-
-
-