The Specification and Derivation of Prolog Programs

SUN Huaimin, WANG Liguo. The Specification and Derivation of Prolog ProgramsJ. Journal of Computer Research and Development, 1987, 24(6): 31-41.

Citation:

SUN Huaimin, WANG Liguo. The Specification and Derivation of Prolog ProgramsJ. Journal of Computer Research and Development, 1987, 24(6): 31-41.

Citation:

SUN Huaimin, WANG Liguo. The Specification and Derivation of Prolog ProgramsJ. Journal of Computer Research and Development, 1987, 24(6): 31-41.

Abstract

A new version of first order language,Subgoal Deduction Language(SDL)is suggested to be used as a mata-language for specification,verification and derivation of logic Programs as well as for representation of knowledge in Program reasoning.The suggestion is illustrated by an example of ordered bi-free.

FullText(HTML)

Turn off MathJax

Article Contents

Export File