https://github.com/ramda/ramda-logic
ramda logic
https://github.com/ramda/ramda-logic
Last synced: 16 days ago
JSON representation
ramda logic
- Host: GitHub
- URL: https://github.com/ramda/ramda-logic
- Owner: ramda
- License: mit
- Created: 2015-04-08T22:14:58.000Z (about 10 years ago)
- Default Branch: master
- Last Pushed: 2024-09-26T21:30:18.000Z (7 months ago)
- Last Synced: 2025-04-10T01:22:14.666Z (19 days ago)
- Language: JavaScript
- Homepage:
- Size: 476 KB
- Stars: 43
- Watchers: 8
- Forks: 4
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# ramda-logic
A microKanren implementation.
## Resources
* [µKanren](https://github.com/jasonhemann/microKanren)
* [microKanren: A Minimal Functional Core for Relational Programming.](http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf)
* [microLogic](http://mullr.github.io/micrologic/literate.html)
* [miniKanren.org](http://minikanren.org/)
* [The Reasoned Schemer](http://mitpress.mit.edu/books/reasoned-schemer)