canrun 0.3.0

A logic programming library inspired by the *Kanren family of language DSLs.
Documentation

What's next? Go read a breakdown of this example in the deeper Quick Start explanation.