Prolog Crash Course

• How To Run Prolog
  • Getting started
  • Loading a file
  • Stopping Prolog
• Tutorial 1
  • Key Features of Prolog
  • Defining Relations with Facts
  • Queries
    • Simple Queries
    • Queries with Variables
    • Matching Queries against Facts
    • Conjoined Queries
    • Multiple Occurrences of the Same Variable
  • Exercise 1
• Tutorial 2
  • Rules
    • Variable Scope
    • Rule Syntax
    • Rule Semantics
      • Matching Rules
  • Lists
  • exercise 2
• SWI-Prolog Manual (html)