- not production ready code, just my playground
- uses depth first search, just because I'm too lazy to implement interleaving search
- einstein problem as unittest example
aslpavel / ukanren-rs-example Goto Github PK
View Code? Open in Web Editor NEWVery simple uKanren implementation, with einstien problem as unittest