050 miniKanren With William Byrd

We apologize, this episode got messed up, so here is a fixed version

Download Link:

audio mp3=”https://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3″%5D%5B/audio%5D

Download Link: https://mostlyerlang.files.wordpress.com/2014/11/050_minikanran.mp3

A programming language that doesn’t change the way you think about programming isn’t worth learning — Alan Kay

MiniKanren is a relational programming language that has been used for both research and in industry. Find out how it was created and how it can be used to to do useful work in your programs.


  • The Reasoned Schemer
  • miniKanren
  • core.logic
  • ExKanren
  • ErlKanren
  • erlog
  • 7 More Languages in 7 Weeks
  • Prolog Episode of Mostly Erlang
  • Curry-Howard Isomerism
  • The Type Theory Podcast
  • Will’s PhD Dissertation

Language Picks

  • Language with Come From & While Don’t (Kevin)
  • Concurrency and Parallelism (Robert)
  • Forth & Factor (Will)
  • Term Re-writing Systems (Will)
  • PLT-Redex
  • http://r-project.org R (Zach)
  • awk

Live at EUC with Robert Virding on Erlog

Download Link: https://mostlyerlang.files.wordpress.com/2014/07/robert_virding.mp3

Robert and I talk about Erlog while sitting together at EUC in Stockholm. What the future holds for this project and what we want to do with it.

015 Languages With Robert Virding

Download Link: https://mostlyerlang.files.wordpress.com/2013/09/015-robert-virding.mp3

Robert Virding was part of the team that first created Erlang at Ericson. Today he works for Erlang Solutions and in his spare time likes to implement other languages to run on the Erlang VM. So far he has created implementations of Prolog, Lisp and Lua that can run in the Erlang VM. We will talk about that and more.