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 **
- ** **
- ****************************************************
- ***************************************************/
-
-
- /* MEMORY SETUP FOR 1200 K byte WIMPSLOT Prolog */
-
- /* Atoms cost about 24 bytes each, terms trailers
- and envs 8 bytes each. The interpreter itself needs
- 200K or so on top. */
-
- /* I found the following plausible settings for the relevant WIMPSLOT
- settings */
-
- #define WIMPSLOT 1200
-
- #if WIMPSLOT == 1200
- #define MAX_ATOMS 2500 /* MAX. no. of atoms */
- #define MAX_TERMS 105000 /* " " " term */
- #define MAX_TRAILER 7000 /* " " " critical variables */
- #define MAX_ENVS 2000 /* " " " active goals */
- #define MAX_STRINGS 25000 /* " " " chars in string tab */
-
- #else
-
- #if WIMPSLOT == 2000
- #define MAX_ATOMS 3500 /* MAX. no. of atoms */
- #define MAX_TERMS 200000 /* " " " term */
- #define MAX_TRAILER 11000 /* " " " critical variables */
- #define MAX_ENVS 3000 /* " " " active goals */
- #define MAX_STRINGS 50000 /* " " " chars in string tab */
-
- #else /* DEFAULT: Setting for 1M machine ~ 600K wimpslot */
-
- #define MAX_ATOMS 1500 /* MAX. no. of atoms */
- #define MAX_TERMS 42000 /* " " " term */
- #define MAX_TRAILER 4000 /* " " " critical variables */
- #define MAX_ENVS 1000 /* " " " active goals */
- #define MAX_STRINGS 15000 /* " " " chars in string tab */
-
- #endif
- #endif
-
- #define MAXATOMS atom_units(MAX_ATOMS-1)
- #define MAXTERMS term_units(MAX_TERMS-1)
- #define MAXTRAILER trail_units(MAX_TRAILER-1)
- #define MAXENVS env_units(MAX_ENVS-1)
- #define MAXSTRINGS (MAX_STRINGS-1)
-
-
-