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 **
- ** **
- ****************************************************
- ***************************************************/
-
- #include "systems.h"
- #include "manager.h"
- #include "types.h"
-
- #if BYTEOFFSET | WORDOFFSET
-
- /* TERMENTRY TERMTAB[MAX_TERMS]; */
- fardeclare(ATOM,tNAME,MAX_TERMS);
- fardeclare(card,tNODECASE,MAX_TERMS);
-
- /* ATOMENTRY ATOMTAB[MAX_ATOMS]; */
- fardeclare(STRING,a_IDENT,MAX_ATOMS);
- fardeclare(ATOM,a_NEXTATOM,MAX_ATOMS);
- fardeclare(ATOM,a_CHAINATOM,MAX_ATOMS);
- declare(CLAUSE,a_CLAUSE,MAX_ATOMS);
- declare(ARITY_TYPE,a_ARITY,MAX_ATOMS);
- fardeclare(PREC_TYPE,a_PREC,MAX_ATOMS);
- fardeclare(INFO_TYPE,a_INFO,MAX_ATOMS);
- #if HACKY
- fardeclare(card,a_NROFCALLS,MAX_ATOMS);
- #endif
-
- /* TRAILENTRY TRAILTAB[MAX_TRAILER] */
- fardeclare(TERM,TRAILTAB,MAX_TRAILER);
-
- /* ENVENTRY ENVTAB[MAX_ENVS]; */
- declare(TERM,e_FCALL,MAX_ENVS);
- declare(TERM,e_FBASE,MAX_ENVS);
- declare(ENV,e_FENV,MAX_ENVS);
- declare(ENV,e_FCHOICE,MAX_ENVS);
- fardeclare(ATOM,e_FATOM,MAX_ENVS);
- fardeclare(CLAUSE,e_FCLAUSE,MAX_ENVS);
- fardeclare(TRAIL,e_FTRAIL,MAX_ENVS);
- fardeclare(card,e_FKIND,MAX_ENVS);
-
- /* char STRINGTAB[MAX_STRINGS]; */
- fardeclare(char,STRINGTAB,MAX_STRINGS);
-
- #endif
-
- #if POINTEROFFSET
-
- TERMNODE TERMAREA[MAX_TERMS];
-
- /* ATOMENTRY ATOMTAB[MAX_ATOMS]; */
- declare(ARITY_TYPE,a_ARITY,MAX_ATOMS);
- fardeclare(STRING,a_IDENT,MAX_ATOMS);
- fardeclare(ATOM,a_NEXTATOM,MAX_ATOMS);
- fardeclare(ATOM,a_CHAINATOM,MAX_ATOMS);
- declare(CLAUSE,a_CLAUSE,MAX_ATOMS);
- fardeclare(PREC_TYPE,a_PREC,MAX_ATOMS);
- fardeclare(INFO_TYPE,a_INFO,MAX_ATOMS);
- #if HACKY
- fardeclare(card,a_NROFCALLS,MAX_ATOMS);
- #endif
-
- volatile TERM TRAILTAB[MAX_TRAILER];
-
- /* ENVENTRY ENVTAB[MAX_ENVS]; */
- declare(TERM,e_FCALL,MAX_ENVS);
- declare(TERM,e_FBASE,MAX_ENVS);
- declare(ENV,e_FENV,MAX_ENVS);
- declare(ENV,e_FCHOICE,MAX_ENVS);
- fardeclare(ATOM,e_FATOM,MAX_ENVS);
- fardeclare(CLAUSE,e_FCLAUSE,MAX_ENVS);
- fardeclare(TRAIL,e_FTRAIL,MAX_ENVS);
-
- char STRINGTAB[MAX_STRINGS];
-
- #endif
-
-
-
-