Если условия имеют между собой дизъюнктивную связь, то между ними ставится точка с запятой, т.е.

Если множество условий имеют между собой конъюнктивную связь, то между ними ставится запятая, т.е.

Типичным представителем языка программирования для описания последовательности действий в процессе логического вывода является Prolog.

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

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

Для обоснования исчисления предикатов, как для любой аксиоматической теории, необходимо рассмотреть проблемы разрешимости и непротиворечивости.

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

Пролог-программа состоит из предложений, которые бывают трех типов: факты, правила и вопросы.

· Факты есть повествовательные предложения, имеющие значение только “истина” (см. 1.5). Множество фактов формирует так называемую экстенсиональную базу знаний о предметной области.Правила это условные предложения, истинность заключения которых зависит от истинности условий, поэтому в структуру правила включены предметные переменные, имена которых начинаются с прописной буквы и предметные постоянные, имена которых начинаются со строчной буквы. Множество правил формирует интенсиональную базу знаний о предметной области и определяет механизм достижения цели при заданных условиях.

<заключение>:-<условие>{“,”<условие>}”.”.

<заключение>:-<условие>{“;”<условие>}”.”.

На языке Prolog эти правила записывают так:

<заключение>:-

<условие_1>”,”

<условие_2>”;”

<условие_3>”.”