Ukanren#µKanren#miniKanren#logic#programming#library#Rust#open source#License: MIT·crates.io·Apr 27, 2025Ukanren
miniKanren.org#logic#programming#DSL#miniKanren#relational#language·minikanren.org·Dec 24, 2024miniKanren.org