Tagged with "canrun" Jan 24, 2023 Adding constraints to Canrun Jan 2, 2023 Simplifying a toy logic programming library Jul 8, 2020 Building Canrun: A statically typed logic programming library for Rust Jul 3, 2020 Canrun: A logic programming library inspired by the *Kanren family