Challenges for Logic Programming

925e5591fbb086894c2b09b54a18f1e2?s=47 miner
November 17, 2012

Challenges for Logic Programming

Presented at Clojure/conj 2012.

The core.logic library (a port of miniKANREN) has sparked an interest in logic programming among Clojure users. Back in the '80s, logic programming inspired the Japanese Fifth Generation Computer Systems Project, which was poised to leap past the rest of the world, but it didn't work out that way. In this talk, we'll review "What Went Wrong" (from Hewitt's infamous paper). We'll discuss some of the challenges that logic programming faces today and how Clojure might help.




November 17, 2012