https://github.com/ashton314/microkanren

My implementation of μKanren
https://github.com/ashton314/microkanren

kanren logic-programming microkanren racket

Last synced: 6 days ago
JSON representation

My implementation of μKanren

• Host: GitHub
• URL: https://github.com/ashton314/microkanren
• Owner: ashton314
• Created: 2021-03-21T02:03:57.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2021-03-21T05:40:42.000Z (almost 4 years ago)
• Last Synced: 2025-01-29T02:57:18.739Z (6 days ago)
• Topics: kanren, logic-programming, microkanren, racket
• Language: Racket
• Homepage:
• Size: 4.88 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project