Программная реализация исчисления предикатов

ПРОЛОГ в настоящее время является наиболее эффективной программной реализацией исчисления предикатов 1-го порядка в логическом программировании с дополнительными возможностями поиска сначала в глубину и перебора с процедурой возврата, встроенными в язык. Перебор с возвратами является стратегией, при которой, если линия рассуждений, которой следует система, окажется несоответствующей, то она может вернуться по линии рассуждений назад до тех пор, пока не будет найден альтернативный подход. ПРОЛОГ также представляет прямой метод осуществления обратного потроения цепочки, хотя другие стратегии управления и схемы представления знаний легко программируются в его среду. Преимуществом языка ПРОЛОГ является то, что он ориентирован на символические вычисления , так как он обладает эффективными методами для символических операций. Наиболее мощным при сравнении является встроенная в ПРОЛОГ операция сопоставления с образцом [60]. [c.231]

Фра шы Выда/ение зон размещения ЕО в плане позволяют для каждой ЕО выделить площадь ее возможного размещения на определенном высотном уровне с точки зрения технологических и конструкционных условий компоновки. Программная реализация операции выделения зон размещения связана с анализом условий компоновки, использованием кванторов, операциями расширения и уменьшения зон допустимого размещения ЕО, что требует применения исчисления предикатов 1-го порядка. [c.321]

Справочник химика 21

Химия и химическая технология