@dnolen: ok thank you for letting us know.

that’s said what’s there works perfectly fine

esp. the core miniKanren bits

cheers

@dnolen can you give a pointer to the todo list?

fix up CLP(FD), port to ClojureScript

that would be the immediate todos

ideally convert to .cljc

after that would be to enhance CLP(FD) to be less naive

we should implement the algorithms used by Mozart for CLP(FD)

environment trimming would also be another big one

then you could use core.logic for fun simple parsing tasks