Оглавление:
Определение - Что означает Пролог?
Ru Programmation en Logique (Программирование в логике) или Prolog - это язык программирования высокого уровня, который берет свое начало в логике первого порядка или исчислении предикатов первого порядка. Язык был задуман в Марселе, Франция, в начале 1970-х годов группой, возглавляемой Аленом Колмерауэром. Это один из первых языков логического программирования, и он остается популярным сегодня. Это язык программирования, который обычно ассоциируется с компьютерной лингвистикой и искусственным интеллектом и используется в экспертных системах, доказательстве теорем и сопоставлении с образцами по деревьям синтаксического анализа естественного языка и обработке естественного языка.
Техопедия объясняет Пролог
Первая система Prolog была разработана в 1972 году Колмерауэром совместно с Филиппом Русселем и была основана на процедурной интерпретации клаузул Рога Робертом Ковальским. Это было также частично мотивировано желанием согласовать использование логики как декларативного языка представления знаний с процедурным представлением знаний. Пролог был специально разработан для обработки естественного языка, связанного с взаимодействием компьютера и человека (естественного) языка.
Пролог отличается от других языков программирования тем, что он является декларативным, а не последовательностью команд. Его иногда называют основанным на правилах или декларативным языком, поскольку он выражается в терминах отношений между свойствами объектов, представленных в виде фактов и правил. Вычисление инициируется путем выполнения запроса по этим отношениям.
Приложения включают в себя:
- Машинное обучение
- Планирование роботов
- Автоматизированные рассуждения
- Решение проблем
- Интеллектуальный поиск в базе данных
- Понимание естественного языка
- Язык спецификации
