Tutorial on the Warren abstract machine for computational logic
John R. Gabriel, Tim Lindholm, Ewing L. Lusk, Roy Overbeek · CERN Document Server (European Organization for Nuclear Research) · 1985
Tutorial description of the Warren machine with a basic introduction to the motivation of the machine and the instructions that define it. Discussion of the fairly limited extensions required to extend the machine for more general use outside of implementations of logic programming. Substantial speedups will occur due to improvements in the implementation of the basic algorithms.