Prolog stack algorithm description

haberg@matematik.su.se (Hans Aberg)
27 Jul 2001 02:52:38 -0400

          From comp.compilers
Related articles
Prolog stack algorithm description haberg@matematik.su.se (2001-07-27)
Re: Prolog stack algorithm description peteg@cse.unsw.EDU.AU (Peter Gammie) (2001-07-30)
Re: Prolog stack algorithm description haberg@matematik.su.se (2001-07-30)
| List of all articles for this month |
From: haberg@matematik.su.se (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
http://haskell.org/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 <remove.haberg@member.ams.org>
                                    * Home Page: <http://www.matematik.su.se/~haberg/>
                                    * AMS member listing: <http://www.ams.org/cml/>

Post a followup to this message

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