canrun (cargo): A logic programming library inspired by the *Kanren family of language DSLs.
Keywords: logic|dsl|kanren|rust