References
Introduction
- Essentials of Logic Programming (1990) - Christopher John Hogger - ISBN 0-19-853832-4
- Topics in Artificial Intelligence: Logic Programming (2006) - Christopher John Hogger - web link
- The Handbook of Artificial Intelligence Vol. 3 (1982) - Paul R. Cohen & Edward A. Feigenbaum - ISBN 0-273-08554-9
History
- Essentials of Logic Programming (1990) - Christopher John Hogger - ISBN 0-19-853832-4
- Historical roots of logic programming (LP) (1997) - Selmer Bringsjord - web link
First-Order Logic
- Essentials of Logic Programming (1990) - Christopher John Hogger - ISBN 0-19-853832-4
- Foundations of Logic Programming - J. W. Lloyd
- Topics in Artificial Intelligence: Logic Programming (2006) - Christopher John Hogger - web link
- First-order Logic, Quickly - Thomas Alspaugh (UCI) - web link
Clausal-Form Logic
- Essentials of Logic Programming (1990) - Christopher John Hogger - ISBN 0-19-853832-4
- Prolog Programming Notes (2006) - Christopher John Hogger - web link
- Topics in Artificial Intelligence: Logic Programming (2006) - Christopher John Hogger - web link
- Wikipedia - web link
Prolog
- Prolog Programming Notes (2006) - Christopher John Hogger - web link
- Prolog, programming for AI by Ivan Bratko 3rd Edition
- Programming in Prolog by WF Clocksin & CS Mellish 2nd Edition
- Wikipedia - web link
Higher-Order Logic Programming
- A treatment of higher-order features in logic programming (2006) - Tim Brody (Soton) - web link
Constraint Logic Programming
- Constraint Logic Programming - Wikipedia - web link
- Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 5 - Dov M. Gabbay, C. J. Hogger and J. A. Robinson - ISBN 0-19853792-1
Concurrent Logic Programming
- Introduction to Logic Programming (1984) - Christopher John Hogger - ISBN 0-12-352090-8 - Page 253-258
Inductive Logic Programming
- Lecture 14 - Inductive Logic Programming (2004) - Simon Colton - web link
- Inductive Logic Programming - Professor Stephen H. Muggleton - web link
- Wikipedia - web link
Glossary
- Google Definition Search - Answers.com - web link
- Wikipedia - web link
- Programming in Prolog - Clocksin, Mellish
- CS152 Assignment: Lambda Calculus - web link
|