Dialectic is a (work in progress) Scala implementation of the *Kanren languages.