test prolog