William Byrd on Logic and Relational Programming, miniKanren

William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program synthesis, and much more.

Related Keywords

Cambridge ,Cambridgeshire ,United Kingdom ,Greece ,Greeks ,Paul Graham ,Oleg Kiselyov ,David Nolen ,Dan Friedman ,Randy Pitts ,Indiana University ,University Of Utah ,Byrd Relational Programming Minikanren ,Development ,Code Mesh 2013 ,Code Mesh ,Logic Programming ,Functional Programming ,Type Theory , ,கேம்பிரிட்ஜ் ,கேம்பிரிட்ஜ்ஷைர் ,ஒன்றுபட்டது கிஂக்டம் ,கிரீஸ் ,கிரேக்கர்கள் ,பால் கிரஹாம் ,டேவிட் நொளேன் ,டான் ப்ரைட்மேன் ,ஆண்டி குழிகள் ,இந்தியானா பல்கலைக்கழகம் ,பல்கலைக்கழகம் ஆஃப் உட்டா ,வளர்ச்சி ,குறியீடு கண்ணி ,தர்க்கம் ப்ரோக்ராமிஂக் ,செயல்பாட்டு ப்ரோக்ராமிஂக் ,வகை கோட்பாடு ,