Zipper Abstract Machine (ZAM)

Built on top of the Graph DB, the ZAM is a concurrency-friendly, multi-threaded runtime inspired by Prolog’s Warren Abstract Machine (WAM). Its role is to execute the dataflows and instructions defined in MM2, using cursor-based navigation (Zippers) for efficient, parallel logical inference. This is the key to MORK’s near-linear performance scaling across multiple CPU cores.