Re: Compiling Prolog-like languages

"Peter Finderup Lund" <firefly@diku.dk>
21 Jul 2002 02:13:09 -0400

          From comp.compilers
Related articles
[5 earlier articles]
Re: Compiling Prolog-like languages peter.ilberg@ni.com (Peter Ilberg) (2002-07-04)
Re: Compiling Prolog-like languages rwaltman@verizon.net (Roberto Waltman) (2002-07-04)
Re: Compiling Prolog-like languages thomasl@erix.ericsson.se (Thomas Lindgren) (2002-07-15)
Re: Compiling Prolog-like languages adamo@dblab.ece.ntua.gr (Yiorgos Adamopoulos) (2002-07-15)
Re: Compiling Prolog-like languages ptarau@yahoo.com (Paul Tarau) (2002-07-15)
Re: Compiling Prolog-like languages oz@blue.cs.yorku.ca (ozan s yigit) (2002-07-15)
Re: Compiling Prolog-like languages firefly@diku.dk (Peter Finderup Lund) (2002-07-21)
Re: Compiling Prolog-like languages kurt.magnus.alonso@mailbox.swipnet.se (Kurt M. Alonso) (2002-08-10)
Re: Compiling Prolog-like languages bmd@cs.kuleuven.ac.be (Bart Demoen) (2002-08-14)
Re: Compiling Prolog-like languages Jens_Kilian@agilent.com (Jens Kilian) (2002-08-14)
| List of all articles for this month |
From: "Peter Finderup Lund" <firefly@diku.dk>
Newsgroups: comp.compilers
Date: 21 Jul 2002 02:13:09 -0400
Organization: Department of Computer Science, University of Copenhagen
References: 02-07-004 02-07-021 02-07-037
Keywords: prolog
Posted-Date: 21 Jul 2002 02:13:08 EDT

On 15 Jul 2002, Thomas Lindgren wrote:


> You should also consider memory management. There is quite a
> bit of work on this, since Prolog's backtracking also can serve to
> reclaim memory if you're careful.


Henning Makholm has done some work on that.


http://www.diku.dk/~makholm/




"Region-Based Memory Management in Prolog.
Master's Thesis. DIKU, University of Copenhagen, Denmark. March,
  2000. DIKU Technical Report 00/09."
http://www.diku.dk/topps/bibliography/2000.html#D-421


(see also the two papers that follow the thesis on the above page)


The home page also has a link to the implementation.


-Peter

Post a followup to this message

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