Visual Prolog - язык, предназначенный для программирования приложений, использующих средства и методы искусственного интеллекта и создания экспертных систем. Причиной растущей популярности Пролога явилось требование создания средств, обеспечивающее "дружественный интерфейс" и интеллектуальность программ. Пролог применяется при создании приложений в следующих областях:
- разработка быстрых прототипов прикладных программ;
- управление производственными процессами;
- создание динамических реляционных баз данных;
- перевод с одного языка на другой;
- создание естественно-языковых интерфейсов для существующих систем;
- реализация экспертных систем и оболочек экспертных систем;
- создание пакетов символьных вычислений для решения уравнений, дифференцирования и интегрирования;
- доказательства теорем и пакеты искусственного интеллекта, в которых возможности Пролога по обеспечению дедуктивного вывода применяются для проверки различных теорий.
Visual Prolog - язык пятого поколения, открывающий новое измерение для программирования.
В Прологе решение задачи получается логическим выводом из ранее известных положений. Обычно программа на Прологе не является последовательностью действий, - она представляет собой набор фактов с правилами, обеспечивающими получение заключений на основе этих фактов. Поэтому Пролог известен как декларативный язык. Пролог базируется на предложениях Хорна, являющихся подмножеством формальной системы, называемой логикой предикатов. Пролог использует упрощенную версию синтаксиса логики предикатов.
Visual Prolog 7 4 Hello World:
Большая статья из которой можно почерпнуть практически всю доступную информацию о языке Prolog. Очень хорошее начало, но, к сожалению, содержит пропуски в некоторых частях, для полноценного изучения не годится. В году был принят стандарт языка, но к сожалению в свободном доступе его обнаружить не удалось, есть только черновик в PostScript формате. Набор документов и программ использованных при разработке стандарта языка. Пролог — это декларативный логический язык программирования. Строка : "Строка", обрамляется двойными кавычками, по факту представляет список из чисел — кодов ASCII символов строки. Список : [0, 1, 2], набор элементов перечисленных через запятую и обрамлённых квадратными скобками. Элементы могут быть разнородными разных типов.
Dump Demo - Visual Prolog 7.3 - IDE demonstration:
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны. Теперь Visual Prolog начинает обработку тела правила, проходит через отсечение и исключает возможность возвращения к другому предложению r. Это отменяет точки поиска с возвратом, повышая эффективность выполнения программы, а также гарантирует, что отлавливающее ошибки предложение будет выполнено лишь в том случае, если ни одно из условий не будет соответствовать обращению к r. Обратите внимание, что конструкция такого типа весьма похожа на конструкцию case в других языках программирования; условие проверки записывается в заголовке правил. По возможности, всегда следует помещать проверочное условие именно в заголовок правила, -- это повышает эффективность программы и упрощает ее чтение.
Inteligencia Artifical con Visual Prolog - Arbol Genealogico:
Файлы Обратная связь Для правообладателей. Солдатова О. Логическое программирование на языке Visual Prolog Файлы Академическая и специальная литература Информатика и вычислительная техника Логическое программирование Prolog Пролог. Логическое программирование. Учебное пособие: Самара, Содержание Предисловие 1 Логическое программирование и аксиоматические системы 1. Механизм возврата 2. Поиск решения в пространстве состояний 3.
Рекомендуем ознакомиться: