Basic Logic Programming


Michael Genesereth
Computer Science Department
Stanford University


Preface
Chapter 1 - Introduction
Chapter 2 - Datasets
Chapter 3 - Logic Programs
Chapter 4 - Deductive Databases
Chapter 5 - Dynamic Logic Programs

Appendix - Datalog
Appendix - Prolog
Appendix - Answer Set Programming
Appendix - Inductive Logic Programming