Steve Miner

Challenges for Logic Programming

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.

About the Speaker

Steve Miner is a software developer with a fondness for Clojure. He has programmed professionally in many languages, including Common Lisp, Smalltalk, Objective-C and Java. Most of his career has been with Silicon Valley companies such as SRI International, Xerox PARC, ParcPlace and Apple. At Apple, he was a senior software engineer on the Enterprise Objects Framework, WebObjects and Core Data projects. Steve received his B.S. in Electrical Engineering from Stanford University. He now resides in South Carolina.