Логическое

программирование

•Парадигма программирования, основанная на автоматическом доказательстве теорем - раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода. Первый ”логический” язык – Planner, самый известный – Prolog.

•Истоки логики связаны с исследованием научного мышления. Логика представляет точный язык для явного выражения целей, знаний и предположений. Логика даёт основание, позволяющее выводить следствия из исходных положений. Логика позволяет, исходя из знания об истинности или ложности некоторых утверждений, сделать заключение об истинности или ложности других утверждений. Логика позволяет обосновывать непротиворечивость утверждений и проверять истинность приведенных доводов.

41

Обобщенное

программирование

•Назначение ОП такое же как ООП – упростить повторное использование кодов программ и методов абстрагирования общих понятий.

Однако в то время как в ООП основное внимание уделяется данным, в обобщенном программировании упор делается на шаблоны алгоритмов.

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

42

•ОП– это создание кода программы независимого от типа данных

•Однако это можно обеспечить и с помощью шаблонов ,

например ,языка С++. Шаблон функций или классов задает поведение целого семейства функций и задают

способы построения целого семейства классов.

Шаблоны являются инструментами обобщенного программирования, но оно идет дальше по пути обобщения.

Разнотипные данные могут быть объединены в различного типа контейнеры.

•ОП -парадигма программирования, заключающаяся в написании алгоритмов обработки независимых не только от типов данных, содержащихся в контейнере, но и от самой структуры контейнера

43