Tutorial on the Warren Abstract Machine for Computational Logic
Description:
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.
Date:
June 1985
Creator:
Gabriel, John R.; Lindholm, Tim; Lusk, E. L. & Overbeek, R. A.
Item Type:
Refine your search to only
Report