Языки логического программирования

ВВЕДЕНИЕ


Актуальность темы.Логическое программирование и отдельно взятые системы программирования, которые были созданы на его базе, VisualиTurboProlog, и многие другиев настоящее время стали все чаще применяться в виде инструментального средства для решения самых разныхпрактических задач. При всем стоит заметить, что довольно часто используются отдельные положения и основные методыдействующей теории искусственного интеллекта (ИИ). Что существенно отличает его от системы процедурного программирования, логическое программирование достаточно сильно снижает изначальную трудозатратностьвсего процессадемонстрации решения определенно взятой задачи в форме алгоритма на действующем высокоуровневом языке программирования. При использовании важнейших принципов программирования наукой логикой решение поставленной задачи осуществляется путем конкретного логического вывода из описания имеющейся исходной задачи в том, что непосредственно касаетсякакого-либо конкретного логического исчисления. Процедура такого рода логического вывода должна быть непременно выполненас помощью специальных средств соответствующих систем программирования. Тем не менее все же стоит заметить, что применение логического программирования само по себе как таковое является занятием довол...

ЗАКЛЮЧЕНИЕ


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