5 episodes

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

The Search Space Felix Holmgren

    • Technology

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

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

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

    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.

    • 1 hr 5 min
    #3 - Chris Martens on narrative generation

    #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 hr
    #2 - Ryan Brush on retaking rules for developers

    #2 - Ryan Brush on retaking rules for developers

    Ryan Brush talks about Clara, a rules engine written in Clojure, and how to close the semantic gap between specification and implementation.

    • 49 min
    #1 - The Poet of Logic Programming

    #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

    • 1 hr 35 min
    Trailer

    Trailer

    Felix introduces the podcast and briefly explains what logic programming is.

    • 5 min

Top Podcasts In Technology

Listeners Also Subscribed To