Welcome! I'm Felix, and in this podcast, I interview experts about the theory and practice of Logic Programming and related themes, like constraint programming, symbolic AI, natural language processing, databases,  computational linguistics, philosophy, functional programming, and logic itself.

If you want to support the podcast, why don't you buy me a coffee?
Play Episode One Pause Episode
Latest Episode

#5 - Kevin Feeney on TerminusDb and the Semantic Web

Kevin Feeney talks about different kinds of graph databases, the role of logic in the Semantic Web vision, the shortcomings the technologies created to fulfill that vision, and how TerminusDb, the database project Kevin co-founded, is seeking to finally make good on the promise of the Semantic Web.

Recommended Episode

#1 - The Poet of Logic Programming

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

© Holmgren Interstellar, 2020