Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 117 стр.

                      8. ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

     Логическое программирование - это относительно новое перспективное направление
современного программирования, возникшее первоначально в рамках работ по созданию систем
искусственного интеллекта. Своѐ название логическое программирование получило от
математической логики, лежащей в его основе- Следует уточнять: из всей математической логики
используется только один из еѐ разделов, а именно исчисление предикатов первого порядка.
Основная цель создания логического программирования -повышение «интеллектуальности»
компьютеров. Однако роль логического программирования этим не ограничивается. В начале
80-х годов было осознано, что оно может стать связующим звеном, объединяющим в единую
цепочку некоторые ранее слабосвязанные направления разработки й применения средств
вычислительной техники:
       •   совершенствование базовых принципов работы ЭВМ, так называемых архитектур
ЭВМ;

       •   развитие языков программирования;
       •   создание систем искусственного интеллекта;
       •   разработка так называемых языков запросов баз данных.
       Причѐм, что очень важно, связь эта осуществляется не через электрическое соединение
плохо согласующихся между собой принципов и подходов, как это иногда делалось ранее и почти
безрезультатно, а в рамках единой, простой и строгой концепции. Замечательно также и то, что
сложность полученного таким способом объединения не только меньше суммы сложностей всех
составных частей, но едва ли не меньше сложности каждой из них. Именно это послужило
основанием для выбора логического программирования в качестве концептуальной основы
японского проекта машин пятого поколения.
       Наиболее полное и строгое выражение идеи логического программирования нашли в языке
программирования Пролог, что отражено даже и в названии этого языка (PROLOG -
PROgramming in LOGic или Пролог - Программирование ЛОГическое). Хотя Пролог и не
единственный язык программирования, на котором можно писать программы с использованием
концепций логического программирования, но настолько известный, что с некоторых пор термин
«логическое программирование» и «Пролог» стали почти синонимами. Разработка языка Пролог
сделала логическое программирование практическим инструментом, доступным широким массам
программистов. Последнее, несомненно, сыграло роль в том,




                                             117