Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!jwmills
From: jwmills@iuvax.cs.indiana.edu (Jonathan Mills)
Newsgroups: comp.lang.prolog
Subject: Re: logic programs -> procedural lang?
Keywords: partial evaluation, template, assertive demon
Message-ID: <26743@iuvax.cs.indiana.edu>
Date: 28 Sep 89 10:43:55 GMT
References: <27335@shemp.CS.UCLA.EDU> <14299@megaron.arizona.edu>
Reply-To: jwmills@iuvax.cs.indiana.edu (Jonathan Mills)
Organization: Indiana University, Bloomington
Lines: 13

In article <14299@megaron.arizona.edu> debray@arizona.edu (Saumya K. Debray) writes:
>
>... it's possible to mix compiled and interpreted code.
>

It is also possible to implement assert & retract as demons that fill in
and link (or unlink) code templates. See the paper by Mills & Buettner in
ICLP 88. Specializations of this kind are closely related to the general
topic of partial evaluation.  The notion of deriving the demon by compiling
the clause template is similar to the notion of partially evaluating a
partially evaluated program to yield a generator of specialized programs.

Jonathan Wayne Mills	(812) 331-8533/855-7081