The Search Space logo

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.

Latest Episodes

#6 - Adam Smith on Answer Set Programming

February 15, 2024 • 73 Minutes

Adam Smith talks about Answer Set Programming, and how he's used it in game design and other areas.

logic programming answer set programming constraint programming game design

#4 - Markus Triska on constraints and the power of Prolog

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.

logic programming constraint programming constraint logic programming Prolog logic