Starting exercises for Prolog day 2