The Stairway to Pleasantville: Logic Programming in Scala - NE Scala 2016

911 views · Published 15 April 2016 · 16:20 · Indexed 31 October 2026

Channel: InfoQ · 2016 · Science & Technology

Watch on YouTube

Logic programming is perhaps underappreciated compared to its declarative sibling, Functional Programming. In this lightning talk, we will examine a logic programming DSL built on top of microKanren in Scala. 

We will demonstrate it's expressive power by using it to help us find the solution(s) to a particularly mind-bending variant of a classic puzzle. The goal is to show that we can solve problems relationally yet write what feels like idiomatic, functional Scala.

Talk by Stewart Stewart
March 4th, 2016

More from this channel

• 1:13:58 Learn about Chrome OS and Chrome Web Store from Google

  InfoQ

  1,398 views · 22 March 2011

• 43:55 Android Builders Summit - Android: Beyond the Phone by Marko Gargenta

  InfoQ

  2,279 views · 20 April 2011

• 14:53 PhoneGap Ecosystem (part 2 of 2) - cross-platform app development in the cloud with PhoneGap Build

  InfoQ

  3,502 views · 20 June 2011

• 1:14:37 HTML5 Multimedia with Bruce Lawson

  InfoQ

  2,921 views · 6 July 2011

• 31:25 Scalability and Performance - Scaling an App Agile Style

  InfoQ

  3,033 views · 1 August 2011

• 22:35 Building Smart Async Functions For Mobile

  InfoQ

  685 views · 25 August 2011

• 41:30 Presentation: Google+ and the +1 Button from Timothy Jordan of Google

  InfoQ

  535 views · 15 September 2011

• 24:20 Getting the Native Feel: JavaScript for Mobile & Tablet Web Apps

  InfoQ

  3,462 views · 20 September 2011