Clojure: core.logic, prolog, logical style programming in Clojure

Question

Context

I am aware of core.logic.

I worked with a reasoned schemer.

I know about the existence of Prolog.

I want to get better at programming logic in Clojure.

There are more than many Prolog books than core.logic books.

Question:

I am currently planning to work through several Prolog books with clojure core.logic. What should I track / what is hard to match with Prolog on core.logic?

(Other suggestions for improvements in logical programming are also welcome.)

Thanks!

Answer 1

I believe that a significant amount of Prolog can be translated into miniKanren / core.logic. I don’t know many problems (one is Grammans with certain sentences, but there are other ways to write parsers in Clojure). If you encounter difficulties, feel free to post suggestions for improving the Clojure mailing list.

Answer 2

Other parts of the logical programming + Clojure world include

• cascalog (logical programming in Hadoop)
• datomic (logical programming + time in the database)