- Country: ch
- Began: 1985
- Published: 1985
- Type:Horn clause
"Modula-Prolog is a software package written in Modula-2, offering tools for constructing Prolog interpreters which can interact in many ways with other Modula-2 programs. Fully compatible with Clocksin & Mellish"
Adds a Prolog layer to Modula-2.
Carlo Muller, ETH and Brown Boveri 1985
|| Built on
|| Incorporated some features of
Kriz, J.; Sugaya, H. "Logic programming" in Guth, R. (ed) Computer Systems for Process Control. Proceedings of a Brown Boveri Symposium Baden, Switzerland 2-3 Sept. 1985
Abstract: The concepts of logic programming have not yet been fully realized, because of the large requirements on memory and execution time of conventional computers. The programming language Prolog is based on logic programming, but employs various additional logical features in order to be a practical programming language. Recent advances in compilation and hardware design are continuously improving the feasibility of logic-based programming languages for industrial applications. At the BBC Research Center, the system Modula-Prolog is being used for fast prototyping and knowledge engineering.
Modula-Prolog permits the arbitrary combination of Modula-2 and Prolog programs and hence utilizes the advantages of both procedural and logic programming. Modula-Prolog has been applied to the development of knowledge-based expert systems for the configuration and diagnosis of technical systems
Muller, Carlo "Modula-Prolog User Manual" Rep. No. 63, July 1985. Inst. fur Informatik, ETH Zurich, Switzerland
Kriz J. "Modula-Prolog: A Programming environment for building KBS" in Knowledge-based E.S. in industry 1986
Muller, Carlo "Modula-Prolog: A Software Development Tool", IEEE Software pp.39-45 Nov 1986 view details