Prolog stack algorithm description (Hans Aberg)
27 Jul 2001 02:52:38 -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: (Hans Aberg)
Newsgroups: comp.compilers
Date: 27 Jul 2001 02:52:38 -0400
Organization: Mathematics
Keywords: prolog, question
Posted-Date: 27 Jul 2001 02:52:38 EDT

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.

    Hans Aberg * Anti-spam: remove "remove." from email address.
                                    * Email: Hans Aberg <>
                                    * Home Page: <>
                                    * AMS member listing: <>

Post a followup to this message

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