H ? « ‹ ← → › »

Language peer sets for PRIZ:
Estonia↑
Estonia/1983↑
Designed 1983 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1983↑
Experimental and other/ee ↑

PRIZ(ID:4010/pri007)

Logic programming environment 

alternate simple view
Country: Estonia
Designed 1983
Published: 1983
Sammet category: Experimental and other

Logic programming language
Related languages
PRIZ → NUT   Evolution of
PRIZ → UTOPIST   Subsystem
References:
  • Mints and Tyugu (1986) Mints, Grigori; Tyugu, Enn Semantics of a Declarative Language. Inf. Process. Lett. 23(3): 147-151 (1986)
  • G. Mints, E. Tyugu. (1988) G. Mints, E. Tyugu. "The Programming System PRIZ." Journal of Symbolic Computations, vol. 5, pp. 359 - 375, 1988.
  • Pahapill, J. (1988) Pahapill, J. Modelling of hydromechanical systems. In Application software packages in PRIZ programming system. Tallinn (1988), 56-92.
  • Haav, H.M. (1989) 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.
  • G. Mints, E. Tyugu. (1990) G. Mints, E. Tyugu. "Propositional Logic Programming and the PRIZ system." Journal of Logic Programing, vol. 9, No.2-3, pp. 179 - 194, 1990.
  • Mints, Grigori and Tyugu, Enn (1991) Mints, Grigori and Tyugu, Enn "The Programming System PRIZ" Baltic Computer Science, Selected Papers LNCS 1991, Springer-Verlag London, UK pp1-17
  • Tyugu, Enn (1991) Tyugu, Enn "Three new-generation software environments" Extract: Our second software paradigm
          in [ACM] (1991) [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing)
  • Tyugu E., (1994) 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. Abstract
          in [ACM] (1991) [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing)
  • Addibpour, Mattin and Tyugu, Enn (1996) 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
          in [ACM] (1991) [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder