1 result found Sort:

ekzhang
ukanren-rs ekzhang
5
111
mit
3
Rust implementation of µKanren, a featherweight relational programming language.
rust prolog language minikanren microkanren logic-programming functional-programming
Created 2021-09-10
31 commits to main branch, last one about a year ago