Логическое программирование

Логическое программирование основано на результатах, полученных в области исчисления предикатов. Центральным понятием в логическом программировании является отношение. Программа представляет собой совокупность определений, отношений между объектами и цели, а процесс ее выполнения состоит в установлении значимости логической формулы, построенной из программы по определенным правилам.

В логическом программировании нужно только специфицировать факты, на которых основывается алгоритм, а не определять последовательность шагов, которые требуется выполнить. Поэтому языки логического программирования являются декларативными языками. Логические программы отличаются принципиально низким быстродействием.

Основным из языков логического программирования является язык Пролог Prolog, фр. Programmation en Logique- программирование в логике), созданный в 1973 г. Автором Пролога является Alain Colmerauer. Программа на языке Пролог строится из последовательности фактов и правил, затем формулируется утверждение.

Объектно-ориентированное программирование

Объектно-ориентированное программирование (ООП) — это метод программирования, при использовании которого главными элементами программ являются объекты. В языках программирования понятие объекта реализовано как совокупность свойств (структур данных, характерных для данного объекта), методов их обработки (подпрограмм изменения их свойств) и событий, на которые данный объект может реагировать и, которые приводят, как правило, к изменению свойств объекта.

Объединение данных и свойственных им процедур обработки в одном объекте, называется инкапсуляцией и является одним из важнейших принципов ООП.

Другим фундаментальным понятием является класс. Класс это шаблон, на основе которого может быть создан конкретный программный объект, он описывает свойства и методы, определяющие поведение объектов этого класса. Каждый конкретный объект, имеющий структуру этого класса, называется экземпляром класса.

Следующими важнейшими принципами ООП являются наследование и полиморфизм.

Наследование предусматривает создание новых классов на базе существующих и позволяет классу потомку иметь (наследовать) все свойства класса – родителя.

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

Другим важнейшим принципом ООП является модульность – объекты заключают в себе полное определение их характеристик, никакие определения методов и свойств не должны располагаться вне его, это делает возможным свободное копирование и внедрение одного объекта в другие.

Языками объектно-ориентированного программирования являются С++,C#, Java.

Визуальное программирование

С середины 90-х г.г. многие объектно–ориентированные языки реализуются как системы визуального проектирования, в которых программный продукт создается в диалоговом режиме, практически без написания программных операторов. К объектно–ориентированным системам визуального проектирования относятся Visual Basic, Delphi, C++ Builder, Visual C++.

Типичным представителем систем визуального программирования является среда программирования Visual Basic, которая используется в качестве встроенного языка макроопределений во всех приложениях пакета Microsoft Office для Windows.

Основная особенность использования среды визуального программирования состоит в создании программного проекта, а не написании программы. Важнейшими понятиями визуального программирования являются экранная форма, программный модуль и программный проект.

Экранная форма - графическое представление окна Windows-приложения вместе с содержанием этого окна. Содержание включает в себя:

• перечень свойств окна с их значениями;

• перечень объектов, находящихся в этом окне;

• перечни свойств этих объектов также с их значениями.

Экранная форма Visual Basic хранится в отдельном файле, имя которого имеет расширение frm.

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