A Very Gentle Introduction to Relational Programming - View it on GitHub