core-logic

thomas 2015-11-04T14:41:39.000049Z

@dnolen: ok thank you for letting us know.

dnolen 2015-11-04T14:42:34.000050Z

that’s said what’s there works perfectly fine

dnolen 2015-11-04T14:43:16.000051Z

esp. the core miniKanren bits

thomas 2015-11-04T15:09:31.000052Z

cheers

jano 2015-11-04T16:36:32.000053Z

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

dnolen 2015-11-04T17:16:18.000054Z

fix up CLP(FD), port to ClojureScript

dnolen 2015-11-04T17:16:25.000055Z

that would be the immediate todos

dnolen 2015-11-04T17:16:30.000056Z

ideally convert to .cljc

dnolen 2015-11-04T17:17:05.000058Z

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

dnolen 2015-11-04T17:17:23.000059Z

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

dnolen 2015-11-04T17:20:06.000060Z

environment trimming would also be another big one

dnolen 2015-11-04T17:20:17.000061Z

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