Re: Prolog stack algorithm description

Peter Gammie <peteg@cse.unsw.EDU.AU>
30 Jul 2001 01:10:52 -0400

          From comp.compilers

Related articles
Prolog stack algorithm description (2001-07-27)
Re: Prolog stack algorithm description peteg@cse.unsw.EDU.AU (Peter Gammie) (2001-07-30)
Re: Prolog stack algorithm description (2001-07-30)
| List of all articles for this month |

From: Peter Gammie <peteg@cse.unsw.EDU.AU>
Newsgroups: comp.compilers
Date: 30 Jul 2001 01:10:52 -0400
Organization: Compilers Central
References: 01-07-142
Keywords: prolog
Posted-Date: 30 Jul 2001 01:10:49 EDT


If you really want to get your mind around Prolog's execution algorithm, I
can only suggest you read:

Warren's Abstract Machine: A Tutorial Reconstruction
Hassan Ait-Kaci

There is a concise abstract machine model in an appendix. Even if you
don't make use of the instruction set, the explanation of the memory model
is very good.


On 27 Jul 2001, Hans Aberg wrote:

> Does anybody know of a reference to a concise description of the Prolog
> stack algorithm:
> I made a Haskell->C++ port of the Mini-Prolog demo that comes with Hugs
>, and I am satisfied with the resulting C++ OO
> style. But the original code relies on Haskell lazyness in order to
> achieve the Prolog execution model which does not work under C++, which is
> strict. So I want a reference in order to ensure the needed rewriting
> results in correct C++ code.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.