Ryan Brush talks about Clara, a rules engine written in Clojure, and how to close the semantic gap between specification and implementation.
An interview with Robert Kowalski, the co-creator of the field of logic programming and of the language Prolog. The conversation ranges over the history of Prolog, the ill-famed Fifth Generation Computer Systems project, the relation between symbolic AI and connectionist AI including deep learning, why rule engines fail at logic, and the future of logic programming. Find show notes and more on thesearch.space, and follow the show on Twitter: @searchspacepod
Felix introduces the podcast and briefly explains what logic programming is.