Prolog Warmup Exercises