Реферат: Язык программирования Пролог 2

👉🏻👉🏻👉🏻 ВСЯ ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻

Цель работы: Изучить основные конструкции языка программирования Пролог для решения задач вычисления функций в экспертных системах.

Пролог – это один из языков программирования, который широко используется для создания баз знаний и экспертных систем. Фундаментальными свойствами языка Пролог являются:
1) механизм вывода с поиском и возвратом;
2) встроенный механизм сопоставления с образцом;
3) простая и легко изменяемая структура данных;
4) отсутствие указателей, операторов присваивания и перехода;
Пролог базируется на сочетании указанных свойств, а удобство его – на естественности его принципов для логических задач, сводящихся к рекурсии.
Программы на Прологе состоит из фактов и правил для получения других фактов и ответов на вопросы. Факты по определению считаются доказанными (истинными).
Конкретному применению логической программы соответствует понятие запроса (цели). Достичь цели – означает показать, что она логически следует из фактов и правил программы. Если вопрос содержит переменные, то система должна найти к тому же конкретные объекты, которые будучи подставленными вместо переменных, обеспечат достижение цели.
В алфавит языка входят следующие символы:
1) прописные и строчные буквы латинского алфавита (A-Z, a-z); регистр букв программы влияет на работу программы;
3) спецсимволы: ! @ # $ ( ) & * - + / < > ; , ? . \ _ " '
Пролог – программа включает в себя следующие разделы:
domains - имена и структуры объектов, используемых в задаче;
predicates – названия отношений между объектами;
clauses – факты и правила, описывающие эти отношения;
Для обозначения логических связок для конъюнкции – and, для дизъюнкции – or, следование обозначаются конструкцией «:-» (двоеточие и минус) или слово if. Комментарии обрамляются комбинациями /*…*/.
Типы данных в Прологе называют доменами. Домен характеризует множество значений, которые может принимать переменная предиката в ходе выполнения программы. Связывание домена с конкретным аргументом (местом) предиката осуществляется в секции predicates. Сами переменные в объявлении не нуждаются. Домены подразделяются на простые и структурированные, стандартные и нестандартные. К стандартным относятся :-symbol – символьная константа (имя), имеет две формы записи:
1) последовательность букв, цифр и знаков препинания, которая начинается со строчной буквы;
2) последовательность символов, заключенная в двойные кавычки (примеры: "apple", "person", "Студент Иванов С.В." ) ;
-string – строка символов (любая последовательность символов, заключенная в двойные кавычки).
-char – отдельный символ между апострофами.
-integer – целое число (в диапазоне –32768 до 32767).
-real – действительное число (пример: -34.567, 0.654, 9.76e+3).
Переменная с именем <<_>> (анонимная) используется, если значение переменной несущественно. В примере book (Author, _, _, _, _) речь идет о всех книгах, написанных некоторым <<переменным>> автором, причем пропущенные названия, издательство, место и год рождения роли не играют.
Объявление новых доменов с исползованием стандартных имеет вид
Введение авторских наименований доменов позволяет внести в программу больше семантики и обеспечивает контроль типов значений переменных, поскольку смешивать в ходе выполнения программы переменные формально различных типов (доменов) нельзя. В Прологе допускается использование структуры, состоящей из нескольких простых или сложных объектов, например:
Раздел predicates должен содержать полный перечень предикатов пользователя, применяемых в программе. Описание предиката включает <имя предиката> и <список доменов его аргументов>:
<имя предиката> (,,…), где ,,…- имена стандартных доменов, объявленных в разделе domains.
Предикаты используются для представления как данных, так и правил их обработки. Примеры:
В разделе clauses описываются утверждения относительно предикатов. Отрицание предиката pr задаётся в форме not(pr) и допустимо только для правой части правила. Существует два типа утверждений: факты и правила. Факт – это имя предиката с заключённым в скобки списком аргументов. Факты используются для констатации того, что выполнено некоторое отношение между объектами. Обычно они записываются относительно предметных констант Однако в фактах могут использоваться и переменные, что позволяет укрупнять факты, уменьшая их общее число и трудоёмкость их поиска в базе данных.
Например, факт mult(x,0,0) объединяет все факты относительно произведения произвольного числа на нуль.
Правило состоит из головной цели – предиката, за которым следует сперва двоеточие с дефисом (:-), а затем тело правила – предикаты (хвостовые цели) разделённые запятыми или точками с запятой. В конце утверждения ставится точка. Предполагается, что переменные в фактах и головных целях утверждения х связаны ??? всеобщности. Переменные в хвостовых целевых утверждениях связаны кванторами существования, а совокупность хвостовых целей рассматривается как логическое произведение.
Пример интерпретации: правило человек (х):- родитель (X,Y), человек (Y). Читается << Всякий Х сын при условии, что родители Х является Y и объект Y – человек >>. В ходе вычислений вместо переменной может быть подставлен другой объект. В этом случае говорят, что переменная конкретизирована. Область действия переменной ограничивается утверждением, и передавать информацию из одного утверждения в другое через свободные переменные нельзя. В Прологе отсутствуют локальные переменные для сохранения промежуточных результатов, поэтому предикаты Пролога дополняются << аргументами-накопителями>>.
1.6 Выражения и стандартные предикаты
В теле правила, помимо объявленных в программе предикатов, могут использоваться стандартные операции сравнения. Стандартные предикаты выполняют различные функции по вводу/выводу различных типов данных, работе с файлами и т.п. Для записи арифметических выражений используются знаки арифметических операций и стандартные функции.
Ввод осуществляется с помощью предикатов:
readchar(<имя переменной 1>, < имя переменной 2>, …) – ввод символьных переменных;
readint(<список переменных>) – ввод целочисленных переменных;
readreal(<список переменных>) – ввод вещественных переменных.
Вывод осуществляется предикатом write(<список вывода>)
Предикат nl обеспечивает переход на новую строку.
Раздел goal содержит внутренний запрос к программе. Для такого запроса Пролог осуществляет поиск только первого подходящего решения, при этом вывод организуется программистом. Целей может быть несколько: тогда они перечисляются через запятую.
write("A synonym for 'brave' is"),nl,
Вычислить функцию, заданную согласно варианта (см. таблицу 1).
1) Основные секции Пролог-программы.
2) Какие стандартные домены имеются в Прологе.
3) Стандартные предикаты ввода/вывода. Описание и параметры.

Название: Язык программирования Пролог 2
Раздел: Рефераты по информатике
Тип: реферат
Добавлен 09:51:02 08 июля 2011 Похожие работы
Просмотров: 111
Комментариев: 13
Оценило: 2 человек
Средний балл: 5
Оценка: неизвестно   Скачать

Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.

Реферат: Язык программирования Пролог 2
Курсовая Работа Понятие И Виды Правоохранительных Органов
Реферат по теме Концепция отчуждения личности и общества в философии Альбера Камю (на примере повести Посторонний)
Реферат: Beer Production History And Consumption Essay Research
Реферат по теме Принятие России в совет Европы: кто за и против?
Сочинение На Тему Большие Воды
Лабораторная Работа По Физике 8 Перышкин
Эссе На Тему Воспоминание О Детстве
Выносливость И Методика Ее Развития Курсовая
Образ Березы В Творчестве Есенина Сочинение
Реферат: Храм Троицы в Листах
Написать Эссе На Тему Глобальные Проблемы Человечества
Реферат: Психологический театр импровизации Уличные постановки. Становление и развитие
Практическое задание по теме Анализ деятельности предприятия 'Жилищно-эксплуатационной службы №6'
Реферат Действие Атмосферного Давления На Живые Организмы
Музыка Народов Мира Реферат
Реферат: Организация аудиторской деятельности в Российской Федерации 2
Реферат по теме Психология сознания Вундта
Способы Легитимизации Власти В Современной России Реферат
Реферат: Вселенная
Курсовая работа: Статут Великого княжества Литовского и развитие юридических терминов
Дипломная работа: Элементы истории математики при преподавании темы "Тригонометрия" в общеобразовательной школе
Статья: Газоаналитическая аппаратура для станций ГТИ
Реферат: Болонський процес та кредитно-модульна система організації навчального процесу