18. Проблемно-ориентированные и объектно-ориентированные языки

Одной из разновидностей языков программирования высокого уровня являются проблемно-ориентированные языки, которые возникли в связи с постоянным расширением области применения вычислительной техники и возникновением целых классов новых задач, требующих решения. Языки данной группы позволяют программисту четко и коротко сформулировать задачу, а программы, написанные на основе этих языков, составлены соответственно в терминах решаемой задачи. К основным проблемно-ориентированным языкам можно отнести:

1. Язык ЛИСП (Lisp — List Information SymbolProcessing), который был изобретен в 1962 г.Дж. Маккарти. Благодаря ЛИСПу возникла совершенно новая для программистов область деятельности — «искусственный интеллект». В настоящее время ЛИСП применяется в экспертных системах, системах аналитических вычислений и т.п.;

2. Язык Пролог (Prolog — Programming in Logic),возникший как язык логического программирования для систем искусственного интеллекта. В основе Пролога лежат средства логического вывода, решающие запросы с использованием заданной базы фактов и правил, к которым обращаются как к утверждениям. Концепция объектно-ориентированного программирования основывается на том, что в основе управления процессом реализации программы лежит передача сообщений объектам.

Исходя из этого можно определить следующие характерные свойства объектно-ориентированных языков программирования:

1. Свойство абстракции, т.е. наличия формального представления о качествах или свойствах предмета путем мысленного удаления некоторых частностей или материальных объектов;

2. Свойство инкапсуляции, т.е. наличия механизма, связывающего вместе код и данные, которыми он манипулирует, и защищающего их от внешних помех и некорректного использования;

3. Свойство наследования, т.е. наличия процесса, с помощью которого один объект приобретает свойства другого, т.е. свойства иерархической классификации;

4. Свойство полиморфизма, т.е. наличия возможности использовать один и тот же интерфейс для общего класса действий.

По сравнению с процедурно-ориентированными и проблемно-ориентированными языками программирования объектно-ориентированные языки характеризуются намного более дружелюбным пользовательским интерфейсом. Программирование с помощью языков данной группы является более наглядным и простым, хотя они и являются развитыми версиями процедурных и проблемных языков. К объектно-ориентированным языкам относятся:

1. Visual Basic (= Basic);

2. Delphi (= Pascal);

3. Visual Fortran (= Fortran);

4. C++(=C);

5. Prolog++(= Prolog).