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 , , கேம்பிரிட்ஜ் , கேம்பிரிட்ஜ்ஷைர் , ஒன்றுபட்டது கிஂக்டம் , கிரீஸ் , கிரேக்கர்கள் , பால் கிரஹாம் , டேவிட் நொளேன் , டான் ப்ரைட்மேன் , ஆண்டி குழிகள் , இந்தியானா பல்கலைக்கழகம் , பல்கலைக்கழகம் ஆஃப் உட்டா , வளர்ச்சி , குறியீடு கண்ணி , தர்க்கம் ப்ரோக்ராமிஂக் , செயல்பாட்டு ப்ரோக்ராமிஂக் , வகை கோட்பாடு ,