An abstract Prolog instruction set (0)

by David H D Warren