A session at Clojure/West 2013

[This session is part of the miniKanren Confo colocated with Clojure/West.]

Nominal logic simplifies reasoning about scope and binding, so that implementing interpreters and type inferencers is almost as easy as on paper. Inspired by alphaKanren, we embed nominal logic programming into Clojure. Unlike alphaKanren, which is incompatible with cKanren, core.logic.nominal extends core.logic. In this talk, I will introduce the core.logic.nominal primitives (fresh, tie, hash), show some examples (quine generator, typed lambda calculus, theorem prover) and highlight our implementation.

About the speaker

This person is speaking at this event.
Nada Amin

Sign in to add slides, notes or videos to this session

Tell your friends!


Date Tue 19th March 2013


Sequoia II, Marriot Courtyard City Center

Short URL


Official session page


View the schedule



See something wrong?

Report an issue with this session