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?
If you want to support the podcast, why don't you buy me a coffee?
#4 - Markus Triska on constraints and the power of Prolog
Markus Triska talks about his work on Constraint Logic Programming packages, writing robust software, modern features of Prolog systems, and the future of logic programming.
#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