An abstract Prolog instruction set (1983)

by David H D Warren
Venue:Tecnical Note 309, SRI International, Menlo Park