Lib.rs

› Science › Math
#logic-programming #kanren #logic

yanked kanren

was by 谢宇恒 / Xie Yuheng

0.1.1 Oct 9, 2018
0.1.0 Sep 24, 2018

#34 in #logic-programming

GPL-3.0 license

2KB

Logic Programming in rust

No runtime deps