Canrun: Logic programming library inspired by the *Kanren family

Intro: Announcing Canrun: A logic programming library inspired by the *Kanren family
Github: https://github.com/tgecho/canrun_rs
Crate: https://crates.io/crates/canrun

This started as a little experiment and spiraled out of control. I know I'm still missing a lot of explanatory documentation that ties it all together, but it's been sitting around in a private repo for long enough.

A follow up post with more details: https://esimmler.com/building-canrun-part-1/

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.