All the logic programming code examples from the book "The Reasoned Schemer" - View it on GitHub