An abstract Prolog machine Vol. 11, No. 2, pp. 31-37