摘要
提出了一种Prolog程序说明结构，对求解问题的程序加以说明，并以此为基础结合问题特征证明Prolog程序的正确性。同时，以整数划分问题的Prolog改进程序和证明为例，说明程序设计应立足于程序说明和程序正确性的证明。
A Proglog program specification structure has been proposed in this paper to specify. a Prolog program for problem solving and prove the correctness of the program. More over we have improved the prolog program for an integer partitioning problem by means of the specification structure and make it a case study in design for provability.
