A logic programming CAS in Clojure

51 views
Skip to first unread message

F. B.

unread,
May 2, 2014, 10:38:11 AM5/2/14
to sy...@googlegroups.com
It looks like someone is experimenting a new CAS in clojure using logic programming via a Clojure port of miniKanren (clojure.core.logic):

https://github.com/clojure-numerics/expresso

I just want to share this in case anyone is interested. It looks like the code is very concise.
Reply all
Reply to author
Forward
0 new messages