prolog作业