Advertisement

Prolog as a Language for Prototyping of Information Systems

  • Raf Venken
  • Maurice Bruynooghe
Conference paper

Abstract

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.

Keywords

Logic Program Rapid Prototype Type Check Module Concept Prolog Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. Bruynooghe, Maurice: A Note on Garbage Collection in Prolog Interpreters. Proc. First International Conference on Logic Programming, Marseille 1982 (1982b).Google Scholar
  3. Byrd, L.: Understanding the Control Flow of Prolog Programs. (Research Paper 151)Edinburgh: University of Edinburgh, Dept. of Artificial Intelligence 1980.Google Scholar
  4. Feuer, Alan: Building Libraries in Prolog. Proc. 8th Int. Joint Conference on Artificial Intelligence, Karlsruhe 1983.Google Scholar
  5. 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
  6. Milner, R.: A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences. 17(3). 348–375 (December 1978).MathSciNetMATHCrossRefGoogle Scholar
  7. Mycroft, A., and R. O’Keefe: A Polymorphic Type System for Prolog. Proc. Logic Programming Workshop, Portugal 1983, 107–121 (1983).Google Scholar
  8. 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
  9. 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
  10. Shapiro, E.: Algorithmic Program Debugging. ACM Distinguished Dissertations Series. MIT Press 1983.Google Scholar
  11. 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
  12. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • Raf Venken
    • 1
  • Maurice Bruynooghe
    • 2
  1. 1.Belgian Institute of ManagementEverbergBelgium
  2. 2.K.U. LeuvenHeverleeBelgium

Personalised recommendations