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?
#3 - Chris Martens on narrative generation
Chris Martens talks about using linear logic programming to generate interactive narratives, and various ways to apply logic to games and digital arts.
#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