Related links

Links to material closely related to what this book covers.

  1. λProlog home page
  2. Teyjus implementation of λProlog
  3. Wikipedia entry for λProlog
  4. Abella is an interactive prover that can prove theorems about λProlog specifications.
  5. Bedwyr can do model checking with λProlog-like specifications.
  6. Twelf implementation of the LF logical framework.
  7. Parinati is a translator of LF into λProlog.