Logic Programming

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