VDM is short for Vienna Development Method which was developed in the early 1960's in the IBM Vienna Laboratory. VDM was used in language defini- tion and compiler design. It was then extended to include aspects of large project designs. We use VDM as a semantic tool to discuss the continuation semantics of Prolog. A containuation represents the dynamic effect of the remainder of a program. Based on the semantic functions, a metalevel interpreter is constructed showing the Result of our work.
展开▼
