home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 1 / ARM_CLUB_CD.iso / contents / apps / languages / progs / prolog / SOURCE / H / MANAGER < prev    next >
Encoding:
Text File  |  1990-06-29  |  2.3 KB  |  63 lines

  1. /***************************************************
  2. ****************************************************
  3. **                                                **
  4. **  HU-Prolog     Portable Interpreter System     **
  5. **                                                **
  6. **  Release 1.62   January  1990                  **
  7. **                                                **
  8. **  Authors:      C.Horn, M.Dziadzka, M.Horn      **
  9. **                                                **
  10. **  (C) 1989      Humboldt-University             **
  11. **                Department of Mathematics       **
  12. **                GDR 1086 Berlin, P.O.Box 1297   **
  13. **                                                **
  14. ****************************************************
  15. ***************************************************/
  16.  
  17.  
  18. /* MEMORY SETUP FOR 1200 K byte WIMPSLOT Prolog */
  19.  
  20. /* Atoms cost about 24 bytes each, terms trailers
  21. and envs 8 bytes each. The interpreter itself needs
  22. 200K or so on top.  */
  23.  
  24. /* I found the following plausible settings for the relevant WIMPSLOT
  25. settings */
  26.  
  27. #define WIMPSLOT 1200
  28.  
  29. #if WIMPSLOT == 1200
  30. #define MAX_ATOMS      2500   /* MAX. no. of atoms */
  31. #define MAX_TERMS      105000  /*  "    "   " term */
  32. #define MAX_TRAILER    7000   /*  "    "   " critical variables */ 
  33. #define MAX_ENVS       2000   /*  "    "   " active goals */
  34. #define MAX_STRINGS   25000   /*  "    "   " chars in string tab */
  35.  
  36. #else
  37.  
  38. #if WIMPSLOT == 2000
  39. #define MAX_ATOMS      3500   /* MAX. no. of atoms */
  40. #define MAX_TERMS      200000  /*  "    "   " term */
  41. #define MAX_TRAILER    11000   /*  "    "   " critical variables */ 
  42. #define MAX_ENVS       3000   /*  "    "   " active goals */
  43. #define MAX_STRINGS   50000   /*  "    "   " chars in string tab */
  44.  
  45. #else   /* DEFAULT: Setting for 1M machine ~ 600K wimpslot */
  46.  
  47. #define MAX_ATOMS      1500   /* MAX. no. of atoms */
  48. #define MAX_TERMS      42000  /*  "    "   " term */
  49. #define MAX_TRAILER    4000   /*  "    "   " critical variables */ 
  50. #define MAX_ENVS       1000   /*  "    "   " active goals */
  51. #define MAX_STRINGS   15000   /*  "    "   " chars in string tab */
  52.  
  53. #endif
  54. #endif
  55.  
  56. #define  MAXATOMS        atom_units(MAX_ATOMS-1)
  57. #define  MAXTERMS        term_units(MAX_TERMS-1)
  58. #define  MAXTRAILER      trail_units(MAX_TRAILER-1)
  59. #define  MAXENVS         env_units(MAX_ENVS-1)
  60. #define  MAXSTRINGS      (MAX_STRINGS-1)
  61.  
  62.  
  63.