Please allow a newbie question: We have implemented "core" miniKanren in Javascript exactly by the book (TRS2), works wonderfully. However, we would like to have support for more constraints, specifically CLP(FD) and negation, basically the features of cKanren as described in the 2011 paper. If I understand correctly, this can *not* be implemented as an add-on to TRS2 miniKanren but basically we have to redo the implementation.
What is the best way to approach this? Follow the cKanren paper and implement that? http://www.schemeworkshop.org/2011/papers/Alvis2011.pdf Translate the Racket implementation https://github.com/calvis/cKanren/tree/master/cKanren Translate the core.logic implementation https://github.com/clojure/core.logic Any pointer would be greatly appreciated, or maybe there is already a Javascript implementation covering this? Thanks a lot -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. To view this discussion on the web visit https://groups.google.com/d/msgid/minikanren/61c05b4a-6030-48df-a548-5864b7fa0b0a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
