Dear All,
We
are happy to announce a new edition of the Dogelog player:
- Monomorphic Cache:
New episode in creating a Prolog system with no atom table and no
datatype string, only atoms. Like formerly Jekejeke Prolog our Dogelog
player has only a provables table and inline caches, whereas we didn't
need polymorphic, only monomorphic.
- Neck Forms:
We allow the Prolog system to treat neck deterministic built-ins in a
special way so as to avoid the costly creation of sub-goals.
Intriguingly even more speed-up can be gained in that the built-ins
decide on their own how to interpret the Albufeira code arguments.
- AST-Machine:
We abandoned the idea that Albufeira code is an array of op-codes. The
result is a a data structure which is a chimera of PLM molecules and
WAM structures. Judging from our bechmark suite, this is the final
killing blow to formerly Jekejeke Prolog.
Have Fun!