[comp.compilers] Yet another bibliography request; Logic programming

steve@hubcap.clemson.edu (Steve Stevenson) (01/18/89)

[ 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