webyrd / Minikanren With Symbolic Constraints
Licence: mit
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
Stars: ✭ 108
Programming Languages
scheme
763 projects
miniKanren-with-symbolic-constraints
The version of miniKanren I normally use. Includes ==
, =/=
, symbolo
, numbero
, generalized absento
constraints.
Good for writing Quine-generating interpreters, etc. :)
Also includes eigen
, which represents universally quanitifed variables. Beware: this implementation does not support use of eigen
with constraints other than ==
.
Also includes multi-query variable version of run
.
For example, (run (q r s) (== (cons r q) s))
.
Running
Chez and Vicare
(load "mk.scm")
Racket
(require "mk.rkt")
Guile
(load "mk-guile.scm")
Chicken
(load "mk-chicken.scm")
Running Tests
After loading miniKanren as above,
(load "test-all.scm")
regardless of scheme implementation.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].