cKanren
cKanren copied to clipboard
calvis
Constraint programming language embedded in Racket
Bug 1: ``` > (run* (q) (== q #f)) '() ``` In the definition of `case-inf`, the `cond`'s first branch: ``` [(not a-inf) e0] ``` When `q` was bound to...
Hi, I stumbled on your repo and was absolutely amazed by the finite domain constraints extensions to minikanren. I've been following minikanren many years ago but these new features make...
Hi, Please add the racket topic to this repo - I think others will be interested and this will help them find it at https://github.com/topics/racket https://help.github.com/en/articles/classifying-your-repository-with-topics Kind regards, Stephen
This will require a bit of re-designing, since libraries like finite domain depend on a two-phase enforce; one for constraints over variables in the answer, and one for constraints over...
Pretty self explanatory.
After cloning from https://github.com/calvis/cKanren.git, running the raco link and setup steps, and requiring ``` (require cKanren/miniKanren) (require cKanren/absento) ``` I can see absento and the basic miniKanren stuff. However symbolo...
``` standard-module-name-resolver: collection not found for module path: ckanren/miniKanren collection: "ckanren" in collection directories: /home/abrahamx91/.racket/6.1/collects /usr/share/racket/collects /home/abrahamx91/.emacs.d/elpa/geiser-20141006.1147/scheme/racket/ /home/abrahamx91/Profession/Git/cKanren/ ... [146 additional linked and package directories] Expression evaluated was: (require ckanren/miniKanren)...
Need to make sure all the package/collection info is up to date, that it depends on the correct version of racket, and that it is officially listed where it should...
This will probably be an easy fix, but I had to thread events through the program so they're probably not being used properly yet.
This will take some major redesigning with the change to enforce events (i.e. I can't have that "nice" cycle for enforcing anymore).