Playing around with prolog