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