https://github.com/brandonwillard/hypokanren

A microKanren implementation in Hy with constraints
https://github.com/brandonwillard/hypokanren

constraint-programming hy logic-programming microkanren relational-programming

Last synced: 26 days ago
JSON representation

A microKanren implementation in Hy with constraints

• Host: GitHub
• URL: https://github.com/brandonwillard/hypokanren
• Owner: brandonwillard
• Created: 2018-11-18T19:44:19.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2019-03-21T22:00:27.000Z (over 5 years ago)
• Last Synced: 2024-05-02T01:05:33.083Z (6 months ago)
• Topics: constraint-programming, hy, logic-programming, microkanren, relational-programming
• Language: Hy
• Homepage:
• Size: 53.7 KB
• Stars: 2
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project