Path: utzoo!attcan!uunet!lll-winken!ncis.llnl.gov!ncis!helios.ee.lbl.gov!pasteur!agate!bionet!csd4.milw.wisc.edu!mailrus!ncar!husc6!spdcc!ima!compilers-sender
From: steve@hubcap.clemson.edu (Steve Stevenson)
Newsgroups: comp.compilers
Subject: Yet another bibliography request; Logic programming
Message-ID: <4117@hubcap.UUCP>
Date: 17 Jan 89 20:06:52 GMT
References: <3178@ima.ima.isc.com>
Sender: compilers-sender@ima.ima.isc.com
Reply-To: steve@hubcap.clemson.edu (Steve Stevenson)
Lines: 20
Approved: compilers@ima.UUCP

[ I'm on another bibliography kick :-) ]

I am trying to compile a bibliography on the history, development, and 
``state of the art'' of logic programming ( NOT just prolog).  I am
interested primarily in the foundational and implementation issues ( again
not restricted to prolog).  Here, foundational means semantics, ties
to logic, etc.

Please send your nominees for inclusion directly to
``steve@hubcap.clemson.edu''.  If you have things in either BibTeX or
refer format, please leave them in that format (it's easier to work with).
I'll put it all in a common (refer) format and distribute to whoever is
interested.

Thanks

Steve
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { decvax | harvard | yale | bbn}!ima
Please send responses to the originator of the message -- I cannot forward
mail accidentally sent back to compilers.  Meta-mail to ima!compilers-request