Prolog day 3 - self-study notes