added prolog configuration option