https://github.com/namin/metamk

Prolog-Style Meta-Interpreters in miniKanren
https://github.com/namin/metamk

logic-programming meta metaprogramming minikanren prolog reflection scheme

Last synced: 2 days ago
JSON representation

Prolog-Style Meta-Interpreters in miniKanren

• Host: GitHub
• URL: https://github.com/namin/metamk
• Owner: namin
• Created: 2013-12-04T18:33:45.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2025-03-09T17:30:42.000Z (about 1 month ago)
• Last Synced: 2025-04-13T19:59:32.091Z (3 days ago)
• Topics: logic-programming, meta, metaprogramming, minikanren, prolog, reflection, scheme
• Language: Scheme
• Homepage:
• Size: 1.37 MB
• Stars: 31
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project

• awesome-racket-and-scheme - metamk - Interpreters in miniKanren (Scheme / course)