https://github.com/composewell/ds-kanren

A subset of the miniKanren language using streamly
https://github.com/composewell/ds-kanren

Last synced: about 1 year ago
JSON representation

A subset of the miniKanren language using streamly

• Host: GitHub
• URL: https://github.com/composewell/ds-kanren
• Owner: composewell
• License: mit
• Created: 2018-06-21T18:00:30.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2018-06-21T18:40:13.000Z (about 8 years ago)
• Last Synced: 2025-03-30T13:34:14.569Z (about 1 year ago)
• Language: Haskell
• Homepage:
• Size: 8.79 KB
• Stars: 5
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
## Logic Programming with Streamly

Danny Gratzer's `ds-kanren` package adapted to use streamly instead of `logict`

to show logic programming capability of streamly. `ds-kanren` is an

implementation of the [miniKanren](http://minikanren.org) language.

[These are the

changes](https://github.com/composewell/ds-kanren/commit/87e2e62bdc62c4871753d8d8104802b05ca21db1)

required to use streamly in place of logict.

The original package can be found [on hackage](http://hackage.haskell.org/package/ds-kanren).

The original repo is [on bitbucket](https://bitbucket.org/jozefg/ds-kanren/)