[next] [prev] [prev-tail] [tail] [up]

1 Database Prolog


 1.1 Introduction
 1.2 Facts and rules
  1.2.1 Facts
  1.2.2 Rules
  1.2.3 Horn Clause Logic
 1.3 Goals and queries
 1.4 Unification
 1.5 Exercises

[next] [prev] [prev-tail] [front] [up]