Related links

Links to material closely related to what this book covers.

  1. Implementations of λProlog: Teyjus and ELPI.
  2. λProlog home page
  3. Wikipedia entry for
  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.