https://github.com/stewsquared/ukanren
Relational Programming DSL in Scala. Yet another minikanren port!
https://github.com/stewsquared/ukanren
Last synced: 10 months ago
JSON representation
Relational Programming DSL in Scala. Yet another minikanren port!
- Host: GitHub
- URL: https://github.com/stewsquared/ukanren
- Owner: stewSquared
- Created: 2016-02-19T20:54:10.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-11-11T20:56:24.000Z (over 9 years ago)
- Last Synced: 2025-03-26T06:51:11.923Z (about 1 year ago)
- Language: Scala
- Homepage:
- Size: 56.6 KB
- Stars: 14
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files: