Пролог — Введение

Пролог, как следует из самого названия, представляет собой краткую форму ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ. Это логический и декларативный язык программирования.Прежде чем углубиться в концепции Пролога, давайте сначала поймем, что такое логическое программирование.

Логическое программирование — это одна из парадигм компьютерного программирования, в которой операторы программы выражают факты и правила о различных проблемах в рамках системы формальной логики. Здесь правила написаны в виде логических предложений, где присутствуют заголовок и тело. Например, H — это голова, а B1, B2, B3 — элементы тела. Теперь, если мы утверждаем, что «H истинно, когда все B1, B2, B3 истинны», это правило. С другой стороны, факты подобны правилам, но без тела. Итак, пример факта — «H истинно».

Некоторые языки логического программирования, такие как Datalog или ASP (программирование набора ответов), известны как чисто декларативные языки. Эти языки допускают утверждения о том, что программа должна выполнить. Нет такой пошаговой инструкции, как выполнить задание. Однако другие языки, такие как Пролог, имеют как декларативные, так и императивные свойства. Это может также включать процедурные заявления, такие как «Чтобы решить проблему H, выполните B1, B2 и B3».

Некоторые языки логического программирования приведены ниже —

• ALF (алгебраический логический язык функционального программирования).
• ASP (программирование набора ответов)
• циклL
• Журнал данных
• FuzzyCLIPS
• Янус
• Парлог
• Пролог
• Пролог++
• РУП

Логическое и функциональное программирование

Мы обсудим различия между логическим программированием и традиционными языками функционального программирования. Мы можем проиллюстрировать эти два, используя диаграмму ниже —

Из этой иллюстрации видно, что в функциональном программировании мы должны определить процедуры и правила их работы. Эти процедуры работают шаг за шагом, чтобы решить одну конкретную проблему на основе алгоритма. С другой стороны, для логического программирования мы предоставим базу знаний. Используя эту базу знаний, машина может найти ответы на заданные вопросы, что полностью отличается от функционального программирования.

В функциональном программировании мы должны указать, как может быть решена одна проблема, но в логическом программировании мы должны указать, для какой проблемы мы действительно хотим получить решение. Затем логическое программирование автоматически находит подходящее решение, которое поможет нам решить эту конкретную проблему.

Теперь давайте посмотрим еще некоторые различия ниже —

Что такое Пролог?

Пролог или PROвписывание ЖУРНАЛics — логический и декларативный язык программирования. Это один из основных примеров языка четвертого поколения, поддерживающего парадигму декларативного программирования. Это особенно подходит для программ, которые включают символический или же нечисловое вычисление. Это основная причина использования Пролога в качестве языка программирования в Искусственный интеллект, куда манипулирование символами а также манипуляция выводом являются основными задачами.

В Прологе нам не нужно упоминать, как может быть решена одна проблема, нам просто нужно указать, в чем состоит проблема, чтобы Пролог решил ее автоматически. Однако в Прологе мы должны давать подсказки по мере того, как метод решения.

Язык Prolog в основном состоит из трех разных элементов:

Факты − Факт – это предикат, который истинен, например, если мы говорим «Том – сын Джека», то это факт.

Правила − Правила представляют собой исключения фактов, содержащих условные предложения. Для выполнения правила эти условия должны выполняться. Например, если мы определим правило как —

дедушка(X, Y):- отец(X, Z), родитель(Z, Y)

Это означает, что для того, чтобы X был дедушкой Y, Z должен быть родителем Y, а X должен быть отцом Z.

Вопросы − И чтобы запустить программу на прологе, нам нужны некоторые вопросы, и на эти вопросы можно ответить с помощью заданных фактов и правил.

История Пролога

Наследие пролога включает исследования средств доказательства теорем и некоторых других автоматизированных систем вывода, которые были разработаны в 1960-х и 1970-х годах. Механизм вывода Пролога основан на принципе разрешения Робинсона, который был предложен в 1965 году, и механизме извлечения ответа Грина (1968). Эти идеи воплотились вместе с появлением процедур линейного разрешения.

Явные целенаправленные процедуры линейного разрешения дали толчок к разработке системы логического программирования общего назначения. первый Пролог был Марсельский пролог на основе работы Кольмерауэр в 1970 году. Руководство этого марсельского интерпретатора Пролога (Roussel, 1975) было первым подробным описанием языка Пролог.

Пролог также считается языком программирования четвертого поколения, поддерживающим парадигму декларативного программирования. Известный японский компьютерный проект пятого поколения, о котором было объявлено в 1981 году, принял Пролог в качестве языка разработки и, таким образом, привлек значительное внимание к языку и его возможностям.

Некоторые приложения Пролога

Пролог используется в различных областях. Он играет жизненно важную роль в системе автоматизации. Ниже приведены некоторые другие важные поля, в которых используется Prolog.

• Интеллектуальный поиск в базе данных
• Понимание естественного языка
• Язык спецификации
• Машинное обучение
• Планирование роботов
• Система автоматизации
• Решение проблем