some prolog puzzle