metaKanren

Relational interpreter for a relational language!

Code repository for the paper metaKanren : Towards A Metacircular Relational Interpreter, Bharathi Ramana Joshi and William E. Byrd.

Preprint.

Files

• shallow.rkt: shallow embedding used in Section 1.1
• shallow-examples.rkt: examples in shallow embedding used to motivate deep embedding
• paper-examples.rkt: metaKanren examples used in the paper (discussed in Section 3)
• metaKanren.rkt: relational interpreter for metaKanren (discussed in Section 4)