Conversations about the theory and practice of Logic Programming and related themes: constraint programming, symbolic AI, natural language processing, databases, computational linguistics, philosophy, functional programming, and logic itself.
February 15, 2024 • 73 Minutes
Adam Smith talks about Answer Set Programming, and how he's used it in game design and other areas.
March 20, 2022 • 87 Minutes
Kevin Feeney discusses graph databases, the Semantic Web, its technologies, and TerminusDb.
January 4, 2021 • 66 Minutes
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.