Related links

Links to material closely related to what this book covers.

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