Re: MAX_ATOM, ATOM_SIZE, etc
Duncan Patton a Campbell <[email protected]>
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Organization | 240am ltd. |
| Message-ID | <[email protected]> |
[howto go]> about recompiling to expand the > 65k limit on the Gprolog atom table, > but there are no further references. > > How do I go about doing this? Is this currently possible or is some > other mechanism prefered? > > Thanks, > > Duncan (Dhu) Campbell Since I couldn't find it in the docs (not that it isn't there;) here are my hacks.. in gprolog-1.2.19/src/EnginePl ./atom.c: (@line 59) #define RADIX 67 //Dhu #define INV_RADIX_MOD_MAX_ATOM 19563 /* see prog. euclide.c */ //#define INV_RADIX_MOD_MAX_ATOM 281707 /* see prog. euclide.c */ //Dhu ./euclide 67 2097152 ==> 281707. // 1 << 21 = 2097152 ==> ATOM_SIZE in gprolog.h //#define INV_RADIX_MOD_MAX_ATOM 61099115 /* see prog. euclide.c */ #define INV_RADIX_MOD_MAX_ATOM 10767467 /* see prog. euclide.c */ ./pl_params.h: (@line 33) //Dhu ATOM_SIZE was 16 -- 65536, 21 gives 2097152, with hash of 281707 //Dhu ATOM_SIZE was 16 -- 65536, 24 gives 16777216, with hash of 10767467 #define ATOM_SIZE 24 #define MAX_ATOM (1 << ATOM_SIZE) /* number of elements */ ./gprolog.h: (@line 226) //Dhu ATOM_SIZE was 16 -- 65536, 21 gives 2097152, with hash of 281707 //Dhu ATOM_SIZE was 16 -- 65536, 24 gives 16777216, with hash of 10767467 #define ATOM_SIZE 24 #define MAX_ATOM (1 << ATOM_SIZE) /* number of elements */ Dhu > > ------------------------------ > > _______________________________________________ > Users-prolog mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/users-prolog > > > End of Users-prolog Digest, Vol 37, Issue 6 > ******************************************* > _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
signature.asc
(application/pgp-signature, 187 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (FreeBSD) iD8DBQFEJcriLTWJrqFvCJsRAt+/AJ4lNXTkxctMRo19sQ3yJJDGHCvnjACfTsNG F5SXLmahXyr+408iHYhcXKA= =Kp+v -----END PGP SIGNATURE-----