indexINTERACTIVE PROLOG GUIDE
© Roman Barták 1997


Table of Contents

Previous Chapter
(learning)

Next Chapter
(title page)


REFERENCES

This page covers references to books and journals on PROLOG and logic programming as well as links to other Web sites and pages regarding the topic. There is also a list of international conferences on logic programming. It will be probably the most rapidly growing part of the site. Later this year, I intend to add a list of people in the area as well as add annotations to each reference so that you will be more informed about it before "surfing". Contributions to this page are welcome.


Tip:

Visit my Internet Search Index to look for other sites regarding the topic (use keywords like logic programming and PROLOG etc.)


Printed publications

The WAM: A (Real) Tutorial
Ait-Kaci Hassan, Report Number 5, Digital, Paris Research Laboratory, 1990
A nice introduction to the Warren Abstract Machine
 
PROLOG Programming for Artificial Intelligence
Bratko I., Addison-Wesley, Reading, MA, 1986
 
Clause and Effect
Clocksin W.F., Springer-Verlag, 1997
An introduction to Prolog by means of examples and worksheet
 
Programming in Prolog
Clocksin W.F. & Mellish C.S., Springer-Verlag, Berlin, 1981
A good introduction to programming in PROLOG
 
PROLOG
Giannesini F. et al., Addison-Wesley, Berlin, 1986
 
Logic for Problem Solving
Kowalski R., Elsevier North Holland, New York, 1979
 
Foundations of Logic Programming
Lloyd J.W., Springer-Verlag, Berlin, 1984
Logic programming is a theory behind the PROLOG. You can find introduction to this topis here.
 
The Craft of Prolog
O'Keefe R.A., MIT Press, 1990
Another popular book on advanced PROLOG programming
 
The Art of Prolog
Sterling L. & Shapiro E., The MIT Press, Cambridge, Massachusetts, 1986
A nice book covers advanced PROLOG programming techniques.


Journals

Journal of Logic Programming
This Journal covers topics from logic programming in general and, of course, it also contains many papers about programming in PROLOG.
 
Journal of Artificial Intelligence
PROLOG and LISP are two widely used programming languages in Artificial Intelligence so you can find interesting papers on PROLOG in this Journal too.


Conferences

International Conference on Logic Programming (ICLP)
probably the main conference on logic programming and PROLOG
 
The Practical Application of Prolog (PAP)
the conference on using PROLOG in real-world applications
organized by
the Practical Application Company
 
Logic Programs Transformations (LOPSTR)
the conference on transforming logic programs


Web Links

Logic Programming Library
Huge amount of info about logic programming and PROLOG but it is hard to browse it.
 
DB & LP Systems
Bibliography of conferences, journals, series and books on logic programming.
 
Prolog
A nice and orderly index of "everything" about PROLOG.
 
ILPNet
You can find sources on Inductive Logic Programming in this site.
 
Compulog Net
The European Network of Excellence in Computational Logic.


Table of Contents

Previous Chapter
(learning)

Next Chapter
(title page)


Last update 6th October 1997
Designed and maintained by
Roman Bartak
© October 1997