Prolog as a Language for Prototyping of Information Systems
Prolog an acronym for Pro-gramming in Log-ic, being a product of Artificial Intelligence research, has some inherent qualities which make it suitable for rapid prototyping. In addition to the description of Prolog’s virtues, we propose some extensions to enhance Prolog in its roles as a tool for rapid prototyping and a general purpose programming language for real-life commercial information systems.
The development process of these information systems involves the generation of successive prototypes, where each successor is closer to the user requirements. The final prototype becomes either the production system or a subsystem of the total system. The tools used to generate successive prototypes are called application generators and program generators. We claim that Prolog is well suited for implementing these tools and the prototypes.
KeywordsLogic Program Rapid Prototype Type Check Module Concept Prolog Program
Unable to display preview. Download preview PDF.
- Bruynooghe, Maurice: Adding Redundancy to obtain more Reliable and Readable Prolog Programs. Proc. First International Conference on Logic Programming, Marseille 1982, 129–133 (1982a).Google Scholar
- Bruynooghe, Maurice: A Note on Garbage Collection in Prolog Interpreters. Proc. First International Conference on Logic Programming, Marseille 1982 (1982b).Google Scholar
- Byrd, L.: Understanding the Control Flow of Prolog Programs. (Research Paper 151)Edinburgh: University of Edinburgh, Dept. of Artificial Intelligence 1980.Google Scholar
- Feuer, Alan: Building Libraries in Prolog. Proc. 8th Int. Joint Conference on Artificial Intelligence, Karlsruhe 1983.Google Scholar
- Komorowski, H. J.: A Specification of an Abstract Prolog Machine and his Application to Partial Evaluation. Linkoping Studies in Science and Technology Dissertations No.69, Linkoping: University of Linkoping, Software Systems Research Centre 1981.Google Scholar
- Mycroft, A., and R. O’Keefe: A Polymorphic Type System for Prolog. Proc. Logic Programming Workshop, Portugal 1983, 107–121 (1983).Google Scholar
- NISHIKA, H., M. YOKATA, A. YAMAMOTO, K. TAKI, AND S. UCHIDA: The Personal Seouential Inference Machine (PSI): its Design Philosophy and Machine Architecture. Proc. Logic Programming Workshop, Portugal 1983, 53–73 (1983).Google Scholar
- Reïter, Raymond: Towards a Logical Reconstruction of Relational Database Theory. in: Brodie, M. L., J. Mylopoulos, and J. Schmidt (eds.): Conceptual Modelling, Perspectives from Artificial Intelligence, Databases and Programming Languages. Spinger Verlag.Google Scholar
- Shapiro, E.: Algorithmic Program Debugging. ACM Distinguished Dissertations Series. MIT Press 1983.Google Scholar
- SZEREDI, P.: Module Concept for Prolog. Proc. Workshop on Prolog Programming Environments. Univ. Linkoping and Institute of Technology March 1982, 69–79 (1982).Google Scholar
- Warren, D. H.: Implementing Proloa-compiling Loaic Programs. (1 and 2)Edinburgh: University of Edinburgh, D.A.I. Research Report No.39, 40, 1977.Google Scholar