search

quicklisp / quicklisp-projects

Metadata for projects tracked by Quicklisp.
http://www.quicklisp.org/
415 stars 47 forks source link

Please add si-kanren #2273

Closed rgc69 closed 1 year ago

rgc69 commented 1 year ago

si-kanren is a microKanren implementation in Common Lisp, the first with disequality constraint store.

Author: Roberto Gianelli License: MIT Sources: https://github.com/rgc69/si-kanren

Thanks, have a good day.