Visualization of Logic Specification

• Main Authors: Yu, Wen-Shan, 余文祥
• Other Authors: Timothy, K. Shih
• Format: Others
• Language: zh-TW
• Published: 1996
• Online Access: http://ndltd.ncl.edu.tw/handle/90415672756728989031

碩士 === 淡江大學 === 資訊工程學系 === 84 === In this paper, I propose a visualization environment that facilitates a hyper-text like navigation of large logic specification programs. In addition to the hyper-text editor, a declarative specificationbrowser utilizing an 'and-or'tree showing the semantics of the specification program is also addressed. The system supports the separation of declarative and control specifications, enabling one to generate different implementations of the declarative specification by changing the control strategy. The user's specification can be translated into a Prolog-like program that can be executed under an interpreter in our system, or compiled to a standard Prolog program. The specification language, program translation techniques, and an interpreter handles a number of control facilitiesare developed for the system and discussed in this paper. In this paper, I will develop a software engineering methodology suitable for logic programs, and implement a visualized CASE tool to support our ideas. The system includes a hypertext system retrieves specifications, a program generator translates specifications to programs, and a visualized debugger run logic programs.