axaris@marvin.cs.Buffalo.EDU (Vassilios Axaris) (10/28/89)
Hello, In his famous paper on the abstract prolog instruction set, D.H.Warren mentions an alternative execution model, the goal stacking, in contrast to the environ- ment stacking model. This model is claimed to be inefficient. However, I would like to know more about it, but I have not been able to find any refer- ence to it anywhere. If any one can shed some light into this, I'd really appre- ciate it. Vassilios E. Axaris