The application of prolog to structured design |
| |
| Authors: | T. H. Tse T. Y. Chen F. T. Chan H. Y. Chen H. L. Xie |
| |
| Affiliation: | 1. Department of Computer Science, the University of Hong Kong, Pokfulam Road, Hong Kong;2. Department of Computer Science, University of Melbourne, Melbourne, Australia;3. School of Professional and Continuing Education, the University of Hong Kong, Pokfulam Road, Hong Kong;4. Department of Computer Science, Jinan University, Guangzhou, China;5. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104, U.S.A. |
| |
| Abstract: | In this paper, we investigate the feasibility of applying logic programming to structured design. We propose to use Prolog as a common machinery for the representation of various structured tools. We illustrate through examples how to produce structure charts from data flow diagrams, and evaluate them according to commonly recommended design guidelines. If the structure charts produced are not satisfactory, the inherent backtracking mechanism in Prolog will help to produce other versions for further evaluation. |
| |
| Keywords: | Data flow diagrams Logic programming Prolog Structure charts Structured design |
|
|
