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

Задуманный в начале 1970-х, Пролог, скорее всего, сочетание слов «программа» и «логика», является одним из самых ранних языков программирования. Частично потому, что это очень простой код, использующий логику первого порядка и небольшие вычисления, он все еще широко используется. Исходный набор команд был значительно расширен и развит во многих вариантах, потому что он особенно хорошо подходит для языка обработки. Эти два основных атрибута программы обеспечивают обработку таких приложений, как искусственный интеллект и автоматизированные телекоммуникации.

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

Наряду с некоторыми более известными кодировками, такими как язык разметки гипертекста (HTML), Prolog относится к классу программ, обычно называемых декларативными языками программирования, которые обычно используют простое выражение «X равно Y», определенное как «термин». Компьютер сказал что делать; не поручено самостоятельно рассчитывать, как туда добраться. Компьютер получает набор фактов с «предикатом» и отношениями, определенными как «предложение», из которых входной запрос должен давать вывод типа «истина» или «ложь». Он не выполняет алгоритм, а скорее получает простой ответ, добавляя и вычитая или отрицая его известный набор определений. Вычислительная техника в Прологе используется для проверки и подтверждения теорий и основополагающих допущений, от углубленной математики до биологии и философии.

Одна из когнитивных теорий интеллекта заключается в том, что в мозге имеется большой, но ограниченный лексический запас информации, которая извлекается, обрабатывается и возвращается, что приводит к большей сложности или простоте информации. С увеличением объема памяти и быстрого доступа, это доминирующая парадигма, которая привела священный грааль информатики - искусственный интеллект. По мнению многих в этой области, ключевым является интерфейс и язык. Программирование Prolog можно использовать для создания графического интерфейса пользователя, графического пользовательского интерфейса, впервые разработанного Apple®, путем простого определения визуальных символов. Он также может быть использован для чтения, перевода и создания выражения лица.

Вычислительная лингвистика существенно сложнее, и, несмотря на то, что за эти годы Пролог продвинулся вперед, включив, например, уникальные грамматические принципы некоторых иностранных языков, многие исследователи задаются вопросом, эффективно ли он представляет язык. Для ограниченных экспертных систем, таких как компьютеризированные телефонные линии технической поддержки для распознавания голоса, программирование Prolog используется с некоторой степенью эффективности. Он также может быть интегрирован в программное обеспечение логики высшего порядка - количественно определяющие языки, такие как C + или Java, - но сжатие и переносимость остаются проблемами, которые остаются для этого языка программирования с интенсивным использованием данных.