Logic Programming (Part 1)

One of my goals for 2017 is to learn (more about) logic programming.

As I recently noticed the great and famous Structure and Interpretation of Computer Programs contains a chapter dedicated to this topic. Instead of solving the exercises in the chapter with the language introduced in the book, I used Datalog in the Racket-flavour to tinker around. Datalog is a query language that is heavily inspired by Prolog (the grandfather of all logic programming languages), but only contains a limited (sub-)set of features.

This gist contains my database as well as my solutions so far. I think I'll write more about Datalog later on as it is very interesting to compare it with sparql.