Logic and Logic Programming
Objectives of the course
A quiick survey of Mathematical
Logic. Logic Programming and Prolog.
Here is
Bibliography
Books
- Ben-Ari M.: 2004, Mathematical Logic for Computer Science (2nd
edition-4th printing), Springer-Verlag, ISBN 1-85233-319-7.
- Bratko I: 2000, Prolog Programming for Artificial
Intelligence
(3rd edition), Addison-Wesley, ISBN
0-201-40375-7.
- Clocksin W.F. and Mellish C.S..: 2003, Programming in Prolog :
Using the ISO Standard (5th edition), Springer, ISBN 3-540-00678-8.
- Doets K.: 1994,
From Logic to Logic Programming, Foundations of Computing Series, The
MIT Press, ISBN 0-262-04142-1.
- Nerode A. and Shore R.A: 1997, Logic
for applications (2nd edition), Graduate Texts in Computer
Science Series, Springer-Verlag, ISBN 0-387-94893-7.
- Nilsson U. and Maluszynski J.: 1995,
Logic, Programming and Prolog (2nd
edition), John Wiley & Sons Ltd., ISBN 0-471-92625-6 (out
of print, downloadable from http://www.ida.liu.se/~ulfni/lpp/).
- Reeves S., and Clarke M.: 1990,
Logic for Computer Science (Reprinted 2003), Addison-Wesley,
ISBN 0-201-41643-3.
- Sterling L. and Shapiro E.: 1994, The Art of Prolog: Advanced
Programming Techniques (2nd edition), The MIT Press, ISBN
0-262-19338-8.
Other resources
Master thesis projects in
Logic Programming
Master thesis projects are available in Inductive Logic Programming
(ILP)
Bibliography
Books
- Bergadano F. and Gunetti D.: 1995, Inductive Logic Programming:
From Machine Learning to Software Engineering, The MIT Press, ISBN
0-262-02393-8.
- Dzeroski S. and Lavrac N. (eds): 2001, Relational Data Mining, Springer, ISBN 3-540-42289-7.
- Lavrac N. and Dzeroski S.:
1994,
Inductive Logic Programming: Techniques and Applications, Prentice Hall,
ISBN 0-134-57870-8
(out-of-print, downloadable from http://www.ida.liu.se/~ulfni/lpp/).
- Nienhuys-Cheng S.H. and Wolf R.: 1997, Foundations of Inductive
Logic Programming, Springer-Verlag Telos, ISBN 3-540-62927-0.
Other resources