First Steps In Relational Programming
Table of Contents
I'm at the very beginning of learning about logic, relational programming, miniKanren, Prolog, etc. So, for now, this page is just a collection of links to papers and talks plus some raw notes.
1. Scratch pad
Definition from Wikipedia in relation to logic programming:
The term relational programming has been used to cover a variety of programming languages that treat functions as a special case of relations.
2. Resources
2.1. Papers
- Relational Programming in miniKanren: Techniques, Applications, and Implementations by William E. Byrd
- μKanren: A Minimal Functional Core for Relational Programming by Jason Hemann and Daniel P. Friedman
2.2. Talks
- Relational Interpreters, Program Synthesis and Barliman by William E. Byrd
- Implementing a microKanren by Jason Hemann and Daniel P. Friedman
2.3. Books
- "Introduction to Logic" by Patrick Suppes
- "The Little Lisper" by Daniel P. Friedman
- "The Little Schemer, Fourth Edition" by Daniel P. Friedman and Matthias Felleisen
- "The Reasoned Schemer, Second Edition" by Daniel P. Friedman, William E. Byrd, Oleg Kiselyov and Jason Hemann