# Prolog references

## Books

** P. Deransart, A. Ed-Dbali, and L. Cervoni:** Prolog:
The Standard. Springer 1996
(
list of errata)

** Krzysztof R. Apt:** From Logic Programming to Prolog.
Prentice Hall 1997.

**Ivan Bratko**: Prolog Programming for Artificial Intelligence. Addison Wesley 1986

**W.F. Clocksin and C.S. Mellish** Programming in Prolog.
Springer Verlag. Fourth Edition. Springer-Verlag 1994

** W.F. Clocksin** Clause and Effect: Springer 1997

**H. Coehlo and J.C. Cotta** Prolog by Example. Springer-Verlag 1988

**Richard O'Keefe**The Craft of Prolog. MIT Press 1990.

**L. Sterling and E. Shapiro** The Art of Prolog. 2nd Edition. MIT Press 1994

**U. Nilsson and J. Maluszynski** Logic Programming and Prolog.
2nd Edition.
John Wiley 1995.

### Logic programming

** Pierre Deransart and Jan Maluszynski** A Grammatical View of Logic programming. MIT 1993

**H.C. Doets** From Logic to Logic programming. MIT 1994

**C.J. Hogger** Introduction to Logic Programming. Academic
Press 1984

**J.W. Lloyd** Foundations of Logic Programming. Springer-Verlag 1984

**Hassan Ait-Kaci** Warrens's Abstract Machine: A Tutorial Reconstruction. MIT Press 1991. Now out of print.
On line access to the book
## Articles

### Prolog Semantics

**B.Arbab and B.M. Berry**Operational and denotational semantics of Prolog. Journal of Logic Programming. 4 309-330 1987.

** E. Borger and D. Rosensweig** A mathematical
definition of full Prolog. Science of Computer Programming. 24 249-286 1994

** S. Debray and P. Mishra** Denotaional and Operational Semantics in Prolog. Journal of Logic Programming 5 61-91 1988

**P. Deransart and G. Ferrand** An operational formal definition of Prolog. In International Symposium on Logic Programming 162-172 IEEE Computer Society 1987

**N.D. Jones and A. Mycroft. **Stepwise development of operational and denotational semantics for Prolog. In Sten-Ake Tarnlund editor, Proceedings of the second international Conference on Logic programming Uppsala. 281-288 1995

### Negation in Prolog and Logic Programming

**K.R. Aprt and F. Teusink** Comparing negation in logic Programming and in Prolog. In K.R. Apt and F. Turini, editors, Meta-Logics and Logic
Programming, 111-133 MIT Press 1995

**K.L. Clark** Negation as failure. In H. Gallaire and J. Minker, editors. Logic and databases. 293-322 Plenum Press. 1978

**A. van Gelder.** Negation as failure using tight derivatives for general logic programs. In Proceedings of the seventh Symposium on Principles of database Systems. ACM-SIGACT-SIGCOM 221-230 ACM Press 1988

### Metaprogramming

**K.a.Bowen and R.A. Kowalski** Amalgamating language and Metalanguage in Logic Programming. In K.L. Clark and S-A Tarnlund editors. Logic Programming, 153-72 Academic press 1982

**P.M. Hill and J.W. lloyd** Analysis of meta-programs. In H.D. Abramson and M.H. Rogers editors. Proceedings of the Meta88 Workshop 23-52 MIT Press 1988

Author: J.P.E. Hodgson

Inria Rocquencourt

78153 Le Chesnay Cedex

France

Saint Joseph's University

Philadelphia PA 19131

USA

Last Changed: 1999/03/09