| Summary: | 碩士 === 淡江大學 === 資訊工程學系 === 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.
|
|---|
