Математическая логика и теория алгоритмов

- при создании систем перевода с одного языка на другой; - в системах управления производственными процессами; - при создании пакетов символьных вычислений для решения уравнений, дифференцирования и интегрирования; - при создании специализированных и общих вопросно- ответных систем. Метод резолюций используется не только в языке ПРОЛОГ, но и в некоторых системах управления базами данных и некоторых спе­ циализированных экспертных системах. Программа на ПРОЛОГе включает; факты типа: родитель(том,боб). родитель(боб ,лиз). правила вида: предок(Х, ¥ ); - родитель(Х,г), предок(2,У). цели типа ?-предок(Х,том). Механизм ПРОЛОГа состоит в том, чтобы доказать истиниость цели и (или) найти значение переменного цели, при котором цель истинна. Вычисления всегда начинаются с цели; рассматриваются возможные варианты нахождения резольвент, В настоящее время разработаны различные модификации ПРО­ ЛОГа. Существует много работ по связыванию ПРОЛОГа с базами данных. В принципе программу на ПРОЛОГе можно уже рассматривать как некоторую базу данных. Соберись и действуй. Билл Гейтс § 15. Вопросы и т емы для самопроверки 1. Определение логического следствия из данной пропозицио­ нальной формы (формулы логики высказываний). 2. Свойства логического следования. 128