Пролог - объектно-ориентированный логический язык, предназначеный для програмирования
информационных систем, функционирующих в динамическом внешнем окружении.
Пролог - воплощает новый подход к объединению логического и объектно-ориентированного программирования,
обладающий следующими достоинсивами:
В основе подхода лежит использование класической логики (логики предикатов первого порядка).
Центральной идеей и сущностью подхода является обнаружение и устранение логических противоречий, возникающих в процессе взаимодействия объектов.
Разработанный подход позволил математически коректным образом ввести в логический,
язык разрушающее присваивание и параллельные процессы.
