Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!texbell!texsun!pollux!ti-csl!m2!gateley
From: gateley@m2.csc.ti.com (John Gateley)
Newsgroups: comp.lang.prolog
Subject: Re: Fun. vs. Logic
Message-ID: <98995@ti-csl.csc.ti.com>
Date: 20 Nov 89 16:08:53 GMT
References: <11500018@hpldola.HP.COM> <11610@phoenix.Princeton.EDU> <3055@brazos.Rice.edu>
Sender: news@ti-csl.csc.ti.com
Reply-To: gateley@m2.UUCP (John Gateley)
Organization: TI Computer Science Center, Dallas
Lines: 11

In article <3055@brazos.Rice.edu> dorai@titan.rice.edu (Dorai Sitaram) writes:
>It might be interesting to see if the gulf has been
>bridged from the other side, i.e., embedding (functional + assignment
>+ continuations) in a (logic + cut) language.

In the proceedings of COMPSAC 89, there is a paper by Barrett Bryant
on implementing attribute grammars, static semantics, and axiomatic
semantics in Prolog.

John
gateley@m2.csc.ti.com