Just to dust off some sexp cobwebs.
- Hash-table implementation of substitions as per core.logic
- ext-s should use
occurs'to prevent circular substitutions
Run tests with
lein test
-
Notifications
You must be signed in to change notification settings - Fork 0
Yet another ukanren
License
cryptism/yaukanren
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Yet another ukanren
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published