The Search Space

Felix Holmgren•thesearch.space

Technology

Society & Culture

Philosophy

The Logic Programming podcast. About the history, future, and wider landscape of Logic Programming.

Last refreshed: July 29th, 2025 at 9:47 AM ⓘ

Follow this podcast in the Metacast mobile app to refresh it and see new episodes.

Follow on

Apple Podcasts

Spotify

RSS

Podcasts are better in Metacast mobile app

Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more

Episodes

#6 - Adam Smith on Answer Set Programming

Adam Smith talks about Answer Set Programming, and how he's used it in game design and other areas. Visit the show's web page: thesearch.space Show notes | Torsten Schaub at Potsdam University Several of his presentations contain the formula ASP = DB + LP + KR + SMT^n ASP: Answer Set Programming DB: Database LP: Logic Programming KR: Knowledge Representation SMT: SAT Modulo Theories SAT solver: Boolean Satisfiability | this refraction game that I had made a puzzle generator for Described in Adam...

Feb 15, 2024•1 hr 13 min•Ep. 6

#5 - Kevin Feeney on TerminusDb and the Semantic Web

Visit the show's web page: thesearch.space Show notes I first became aware of Kevin through a series of blog posts that explain the similarities and differences between these different kinds of databases Graph Fundamentals — Part 1: RDF Graph Fundamentals — Part 2: Labelled Property Graphs Graph Fundamentals — Part 3: Graph Schema Languages Graph Fundamentals Part 4: Linked Data Then I found out about TerminusDb https://terminusdb.com/ "a bunch of Swedish hackers with a bunch of JSON blobs" http...

Mar 20, 2022•1 hr 27 min•Ep. 5

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

Visit the show's web page: thesearch.space Show notes The Power of Prolog , Markus' ongoing book project "It says, 'Find your way from darkness to light,' which is one of the quotes that occurs in The Knight of Cups , which is a recent movie by Terrence Malick." "I was introduced to Prolog by Ulrich Neumerkel at the Vienna University of Technology." "the convener of the Prolog ISO standard group." "He has developed his own teaching environment called GUPU , which means talk-assisted programming ...

Jan 04, 2021•1 hr 6 min•Ep. 4

#3 - Chris Martens on narrative generation

Visit the show's web page: thesearch.space Show notes Chris Martens' academic website https://www.csc.ncsu.edu/people/crmarten 04:30 "Programming Interactive Worlds with Linear Logic" , Chris' Ph.D. thesis 06:10 James Meehan’s, Tale-Spin thesis "The Metanovel: Writing Stories by Computer" A great post about the story of Tale-Spin's creation: https://grandtextauto.soe.ucsc.edu/2006/09/13/the-story-of-meehans-tale-spin/ 18:40 The Twelf Project "a language used to specify, implement, and prove prop...

Aug 23, 2020•1 hr 1 min•Ep. 3

#2 - Ryan Brush on retaking rules for developers

Show notes (full notes coming up, please check back soon) Ryan's talk about Clara at Strange Loop (2014) https://www.youtube.com/watch?v=Z6oVuYmRgkk https://github.com/quoll/naga https://github.com/ulfurinn/wongi-engine https://github.com/jruizgit/rules ★ Support this podcast ★...

Jun 08, 2020•49 min•Ep. 2

#1 - The Poet of Logic Programming

Show notes 08:10 John Alan Robinson https://en.wikipedia.org/wiki/John_Alan_Robinson Computational Logic: Memories of the Past and Challenges for the Future http://www.computational-logic.org/iccl/downloads/Robinson-CL2000.pdf Maarten van Emden has great material about Robinson, including two interviews: https://vanemden.wordpress.com/2016/09/16/alan-robinson/ https://vanemden.wordpress.com/2010/06/08/interview-with-alan-robinson-inventor-of-resolution-logic/ http://aarinc.org/Newsletters/089-20...

Apr 24, 2020•1 hr 36 min•Ep. 1

Trailer

Logic Programming, you say? That might sound like either an oxymoron or a tautology to you, depending on who you are. If you have heard about Logic Programming before, you are probably thinking about Prolog - a programming language that is almost 50 years old, and which many find fascinating but also frustratingly limited. What is logic? Many people consider it synonymous with dry intellect, humorless bureaucracy, the opposite of creativity. But in my understanding, logic is an attempt to captur...

Mar 04, 2020•6 min

Hosted on Transistor

For the best experience, listen in Metacast app for iOS or Android