Transilvania Challenge Prolog