NUT(ID:4011/nut001)for New UTopist Object oriented programming language Institute of Cybernetics, Tallinn, Estonia 1991 Royal Institute of Technology, Stockholm, Sweden 1992. Structures: Related languages
References: 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 in [ACM] CACM 34(06) June 1991 (Special issue: Soviet computing) view details 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 |