Объектно-ориентированное программирование на языке С++. Лясин Д.Н - 7 стр.

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


     Логическое (реляционное) программирование исходит из того, что компью-
тер должен уметь работать по логическим построениям, присущим человеку. На-
пример, в логическом программировании разрешена конструкция типа "Опреде-
лить фирму, имеющую самую высокую в городе среднюю зарплату сотрудников",
которой достаточно, чтобы получить ответ.
    Программа в таких языках представляет собой совокупность правил (оп-
ределяющих отношения между объектами) и цели (запроса). Процесс выпол-
нения программы трактуется как процесс установления общезначимости ло-
гической формулы по правилам, установленным семантикой того или иного
языка. Результат вычислений является побочным продуктом процедуры выво-
да. Такой метод являет собой полную противоположность программирования
на каком-либо из процедурных языков. В реляционном программировании
нужно только специфицировать факты, на которых алгоритм основывается, а
не определять последовательность шагов, которые необходимо выполнить.
Примером логического языка программирования можно назвать PROLOG -
язык, предназначенный для программирования приложений, использующих
средства и методы искусственного интеллекта, создания экспертных систем и
представления знаний.


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


     Объектно-ориентированная технология разработки программ состоит из
объектно-ориентированного анализа, объектно-ориентированного проектирования
и объектно-ориентированного программирования.
     Объектно-ориентированный анализ состоит в объектной декомпозиции
предметной области, т.е. информационная система представляется не набором

                                      7