issues
search
rvs314
/
faster-clpset-minikanren
A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento, compatible with Racket and Chez.
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`!uniono` in `mk.scm` has `conde` clauses that overlap
#4
webyrd
opened
3 months ago
0
Set constraint relations perform 'project' recursively
#3
webyrd
opened
3 months ago
1
Currently need to load `test-sets.scm` before loading `set-interp.scm`
#2
webyrd
opened
3 months ago
4
The tail of a set is not enforced to be a set
#1
webyrd
opened
3 months ago
1