MeTTaLog, developed by Douglas Miles and LogicMoo, served as a vital intermediate engine grounded in the Warren Abstract Machine (WAM)—the long-standing standard for logic programming. It successfully validated the potential for concurrent symbolic execution, yet the unique demands of neural-symbolic interoperability eventually exposed the rigidities of a pure WAM approach when scaling for AGI.
This inspired a strategic pivot to PeTTa, which derives its architecture from the ZIP Virtual Machine used by SWI-Prolog. The ZIP model offers superior handling of the dynamic, non-deterministic workloads essential to the Hyperon ecosystem. Consequently, PeTTa’s ZIP-inspired foundation was selected as the optimal path to secure the high-performance integration required for future AGI capabilities.
Papers & Publications
Extends the MeTTa language with concurrent operations and runtime answer pruning, enabling multi-threaded evaluation, dynamic clause filtering, and adaptive control over nondeterministic result sets during inference:
Continue Reading