WAM for everyone: a virtual machine for logic programming

David Scott Warren. WAM for everyone: a virtual machine for logic programming. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 237-277, ACM / Morgan & Claypool, 2018. [doi]

Abstract

Abstract is missing.