Please add si-kanren #2273
Description
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.