The Sequential PARLOG Machine (SPM) is an abstract instruction set designed specifically for the efficient implementation of the parallel logic programming language PARLOG on sequential computers. This paper introduces a simple computational model for supporting PARLOG. The SPM embodies several refinements of this model that improve its performance in a sequential context; these are described, along with other key issues of the SPM system.