PRIZ(ID:4010/pri007)

Logic programming environment 

Logic programming language
Related languages
PRIZ => NUT   Evolution of
PRIZ => UTOPIST   Subsystem
References:
  • Mints, Grigori; Tyugu, Enn Semantics of a Declarative Language. Inf. Process. Lett. 23(3): 147-151 (1986) view details
  • G. Mints, E. Tyugu. "The Programming System PRIZ." Journal of Symbolic Computations, vol. 5, pp. 359 - 375, 1988. view details
  • Pahapill, J. Modelling of hydromechanical systems. In Application software packages in PRIZ programming system. Tallinn (1988), 56-92. view details
  • Haav, H.M. and Koov, M. Expert-PRIZ as an environment for developing expert database systems. In Proceedings of the 12th International Seminar on Database Management Systems (Suzdal, USSR, Oct.), 1989, pp. 89-94. view details
  • G. Mints, E. Tyugu. "Propositional Logic Programming and the PRIZ system." Journal of Logic Programing, vol. 9, No.2-3, pp. 179 - 194, 1990. view details
  • Mints, Grigori and Tyugu, Enn "The Programming System PRIZ" Baltic Computer Science, Selected Papers LNCS 1991, Springer-Verlag London, UK pp1-17 view details
  • Tyugu, Enn "Three new-generation software environments" view details Extract: Our second software paradigm
    Our second software paradigm is merging several knowledge representation forms in a single system. This approach enabled us to build an intelligent programming environment called New Utopist (NUT), where traditional programming tools like the C language are combined with object-oriented and logic programming facilities included in the NUT language. This language has been developed from the input language of the PRIZ system which was called UTOPIST. This language combines the basic features of Smalltalk (objects and classes), UTOPIST (propositional logic programming) and Prolog (Horn clause logic programming). The viability of combining various knowledge representations into a single knowledge-based system was demonstrated earlier by a software product called ExpertPRIZ. This is an intelligent software environment for personal computers developed in the START project and is now distributed also on the Western market.

    NUT and ExpertPRIZ are two rather different knowledge-based programming environments, one being quite sophisticated and the other extremely simple; hopefully ExpertPRIZ is suitable for beginners in the AI field in the same way that the BASIC language is appropriate for beginners in the personal computing field. There is an intermediate system called C-PRIZ, which is an intelligent programming tool intended for software developers on workstations or sufficiently powerful personal computers. These three programming environments have to cover a wide range of needs of program development in the new generation computing-from personal computing to sophisticated software systems in computer-aided design.

          in [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing) view details
  • Tyugu E., "Using classes as specifications for automatic construction of programs in the NUT system". Journal of Automated Software Engineering, v. 1, 1994, pp. 315 - 334. view details Abstract: It is shown how the object-oriented programming paradigm has been
    combined with automatic program construction in the NUT system: type
    information extracted from a class specification is being used for automatic construction of methods for the class. Special compute-messages are introduced as requests for program synthesis which can be done statically or dynamically. Particular features of the specification language which support the program synthesis are considered and applications of this method are outlined.
          in [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing) view details
  • Addibpour, Mattin and Tyugu, Enn "Structural Synthesis of Programs from Refined User Requirements" (Programming Boiler Control in NUT) Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (Dagstuhl Seminar, June 1995) Springer LNCS 1996 view details
          in [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing) view details