https://github.com/fiddlerwoaroof/reazon-cl

A quick implementation of miniKanren in CL
https://github.com/fiddlerwoaroof/reazon-cl

common-lisp logic-programming minikanren

Last synced: 6 months ago
JSON representation

A quick implementation of miniKanren in CL

• Host: GitHub
• URL: https://github.com/fiddlerwoaroof/reazon-cl
• Owner: fiddlerwoaroof
• License: gpl-3.0
• Created: 2022-09-22T04:51:28.000Z (almost 4 years ago)
• Default Branch: main
• Last Pushed: 2022-09-28T05:48:47.000Z (almost 4 years ago)
• Last Synced: 2026-01-30T19:49:56.576Z (6 months ago)
• Topics: common-lisp, logic-programming, minikanren
• Language: Common Lisp
• Homepage:
• Size: 28.3 KB
• Stars: 4
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.org
  • License: LICENSE

Awesome Lists containing this project

README

          
* REAZON-CL: a port of [[https://github.com/nickdrozd/reazon][reazon]] to Common Lisp

This is a mostly bug-compatible (possibly with some new and exciting

bugs of its own) port of the elisp package Reazon.  Elisp using this

package should mostly run if you replace =reazon-= with =reazon:=.