Links to material closely related to what this book covers.
- Implementations of λProlog: Teyjus and ELPI.
- λProlog home page
- Wikipedia entry for
- Abella is an interactive prover that can prove theorems about λProlog specifications.
- Bedwyr can do model checking with λProlog-like specifications.
- Twelf implementation of the LF logical framework.
- Parinati is a translator of LF into λProlog.