[Previous] [Up] [Next]
Go backward to Introduction to Programming
Go up to Top
Go forward to The Basics of Prolog: Unification and Recursion

The Basics of Prolog: Logic and Control

  • Introduction
  • The Logic of Prolog
  • Horn Clauses: the Logical Language of Prolog
  • Facts
  • Queries
  • Rules
  • A Prolog Database
  • Control
  • The Prolog Proof Strategy
  • Non-Determinism and Backtracking
  • Negation
  • Reading
  • Exercises

  • <a.von.klopp@bangor.ac.uk>

    [Previous] [Up] [Next]