Integrated symbol table, engine and heap memory management in multi-engine prolog

Abstract

We describe an integrated solution to symbol, heap and logic engine memory management in a context where exchanges of arbitrary Prolog terms occur between multiple dynamically created engines, implemented in a new Java-based experimental Prolog system.As our symbols represent not just Prolog atoms, but also handles to Java objects (including arbitrary size integers and decimals), everything is centered around a symbol garbage collection algorithm ensuring that external objects are shared and exchanged between logic engines efficiently.Taking advantage of a tag-on-data heap representation of Prolog terms, our algorithm performs in-place updates of live symbol references directly on heap cells.With appropriate fine tuning of collection policies our algorithm provides an integrated memory management solution for Prolog systems, with amortized cost dominated by normally occurring heap garbage collection costs.

Lightweight compilation of (C)LP to JavaScript

“…This approach has been used in the compilation from C to JavaScript (as done in EMScripten (Zakai 2011), which has a 2.4-8.4 slowdown w.r.t. native code) or systems compiling to Java like Lean Prolog (Tarau 2011b). However, by adopting this approach we would lose some advantages of using a native JavaScript representation, including getting garbage collection for free.…”