Skip to content
Microkanren implemented in dart
Dart
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.
lib
test
.gitignore
CHANGELOG.md
LICENSE
README.md
pubspec.yaml

README.md

Microkanren implemented with dart

This is the microkanren language implemented with dart. This implementation tries to stay close to the original version. There are some differences. There is no pair data structure instead I used the build-in list data structure of dart. Another difference is the abstraction of the Substitution, State and Stream data structures. In the original scheme implementation these data structures where just build-in scheme lists.

You can’t perform that action at this time.