Tutorial

Warning

This tutorial is incomplete.

• Hello World
  • Running Hello World
  • The Interactive Interpreter
• Shortest Path in a Graph
  • Encoding the Input
  • Run the program
  • Explaining Answers
  • Understanding The Program
    • Inference Rules
    • Inference Rules As Equations
    • Why These Particular Equations?
  • Deriving The Graph From Rules
  • Endnotes
• When Things Go Wrong
  • Impossible Requests
  • Non-Termination
    • Productive Nontermination
      • Fixing The Fib Example
    • Counting To Infinity