ПРОЛОГ

(англ. programming in logic – программирование в терминах логики) – язык программирования высокого уровня декларативного типа, основанный на использовании логических построений для написания программ. Язык считается основным для решения задач искусственного интеллекта. Первая реализация языка была осуществлена А. Калмероэ (A. Colmerauer) и Ф. Росселем (P. Roussel), (Франция, 1972 г.). Если в традиционных языках программирования (Фортран и т.п.) программа пытается ответить на вопрос: как решить задачу, то программа, написанная на Прологе, отвечает на вопрос: что вы хотите получить от решения данной задачи. В Прологе ++ программирование с управлением данными достигается при помощи концепции демонов. Демон представляет собой объект, методы которого вызываются в случае определенных событий и могут быть, таким образом, использованы для поддержки программирования с управлением данными.