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

Listen

#5 - Kevin Feeney on TerminusDb and the Semantic Web

March 20, 2022 • 87 Minutes

Kevin Feeney discusses graph databases, the Semantic Web, its technologies, and TerminusDb.

semantic web graph databases database technologies TerminusDb RDF OWL

Listen

#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

Listen

#3 - Chris Martens on narrative generation

August 23, 2020 • 61 Minutes

Chris Martens talks about using linear logic programming to generate interactive narratives.

logic ASP miniKanren

Listen

#2 - Ryan Brush on retaking rules for developers

June 8, 2020 • 49 Minutes

Ryan Brush talks about Clara, a rules engine written in Clojure

rules engines clojure software engineering

Listen

#1 - The Poet of Logic Programming

April 24, 2020 • 96 Minutes

An interview with Robert Kowalski, the co-creator of the field of logic programming and of the Prolog language.

prolog history AI rules engines ASP

Listen