logically
Explorations of logic programming in Clojure's core.logic.
Sources of inspiration
The Art of Prolog
- Chapter 17: Interpreters
Prolog Programming for Artificial Intelligence
αProlog for nominal logic programming
- Regular expressions and automata (src/test)
- Symbolic differentiation (src/test)
- The pi-calculus operational semantics (src/test)
- Cryptographic authentication protocols (Needham-Schroeder(-Lowe)) (src/test)