Arto's Notes re: Prolog