Prolog Day 1: Problems 1&2 (plus examples from the book)