Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!gem.mps.ohio-state.edu!sunybcs!marvin.cs.Buffalo.EDU!axaris
From: axaris@marvin.cs.Buffalo.EDU (Vassilios Axaris)
Newsgroups: comp.lang.prolog
Subject: goal stacking execution of Prolog
Keywords: WAM, environments, e.t.c.
Message-ID: <12368@eerie.acsu.Buffalo.EDU>
Date: 27 Oct 89 18:51:53 GMT
Expires: 27 Oct 89 18:51:52 GMT
Sender: nobody@acsu.buffalo.edu
Reply-To: axaris@cs.buffalo.edu (Vassilios Axaris)
Organization: SUNY @ Buffalo
Lines: 10

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