microkanren topic
List
microkanren repositories
trafficstars
Logical
22
Stars
0
Forks
Watchers
Minimalistic logic programming framework
ukanren-rs
107
Stars
5
Forks
Watchers
Rust implementation of µKanren, a featherweight relational programming language.