Re: logic programs -> procedural lang?

Article View: comp.lang.prolog

Article #363

#363

From: Jonathan Mills
Date: Thu, 28 Sep 1989 10:43

13 lines
1164 bytes

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

Technical Details

Message-ID: <26743@iuvax.cs.indiana.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!jwmills

References: <27335@shemp.CS.UCLA.EDU> <14299@megaron.arizona.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message