Skip to content
Very simple uKanren implementation, with einstien problem as unittest
Rust
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
.gitignore
Cargo.lock
Cargo.toml
README.md

README.md

Very simple uKanren implementation

  • 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
You can’t perform that action at this time.