Lecture 1: Logic Programming

Example code from lecture in Prolog notation