Язык программирования Пролог 2

Лабораторная работа №1.

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

1. Теоретические сведения

Пролог – это один из языков программирования, который широко используется для создания баз знаний и экспертных систем. Фундаментальными свойствами языка Пролог являются:

1) механизм вывода с поиском и возвратом;

2) встроенный механизм сопоставления с образцом;

3) простая и легко изменяемая структура данных;

4) отсутствие указателей, операторов присваивания и перехода;

5) естественность рекурсии.

Пролог базируется на сочетании указанных свойств, а удобство его – на естественности его принципов для логических задач, сводящихся к рекурсии.

Программы на Прологе состоит из фактов и правил для получения других фактов и ответов на вопросы. Факты по определению считаются доказанными (истинными).

Конкретному применению логической программы соответствует понятие запроса (цели). Достичь цели – означает показать, что она логически следует из фактов и правил программы. Если вопрос содержит переменные, то система должна найти к тому же конкретные объекты, которые будучи подставленными вместо переменных, обеспечат достижение цели.

В алфавит языка входят следующие символы:

1) прописные и строчные буквы латинского алфавита (A-Z, a-z); регистр букв программы влияет на работу программы;

2) цифры (0-9);

3) спецсимволы: ! @ # $ ( ) & * - + / < > ; , ? . _ " '

1.2 Структура программы

Пролог – программа включает в себя следующие разделы:

constants – задаются константы;

domains - имена и структуры объектов, используемых в задаче;

predicates – названия отношений между объектами;

clauses – факты и правила, описывающие эти отношения;

goal – описание цели решения.

Для обозначения логических связок для конъюнкции – and, для дизъюнкции – or, следование обозначаются конструкцией «:-» (двоеточие и минус) или слово if. Комментарии обрамляются комбинациями /*…*/.

1.3 Домены

Типы данных в Прологе называют доменами. Домен характеризует множество значений, которые может принимать переменная предиката в ходе выполнения программы. Связывание домена с конкретным аргументом (местом) предиката осуществляется в секции predicates. Сами переменные в объявлении не нуждаются. Домены подразделяются на простые и структурированные, стандартные и нестандартные. К стандартным относятся :-symbol – символьная константа (имя), имеет две формы записи:

1) последовательность букв, цифр и знаков препинания, которая начинается со строчной буквы;

2) последовательность символов, заключенная в двойные кавычки (примеры: "apple", "person", "Студент Иванов С.В." ) ;

-string – строка символов (любая последовательность символов, заключенная в двойные кавычки).

-char – отдельный символ между апострофами.

-integer – целое число (в диапазоне –32768 до 32767).

-real – действительное число (пример: -34.567, 0.654, 9.76e+3).

Переменная с именем <<_>> (анонимная) используется, если значение переменной несущественно. В примере book (Author, _, _, _, _) речь идет о всех книгах, написанных некоторым <<переменным>> автором, причем пропущенные названия, издательство, место и год рождения роли не играют.

Объявление новых доменов с исползованием стандартных имеет вид

<имя> = <имя_стандартного_домена>

Примеры объявлений:

domains

a=integer

fax=symbol

r, dup=real

Введение авторских наименований доменов позволяет внести в программу больше семантики и обеспечивает контроль типов значений переменных, поскольку смешивать в ходе выполнения программы переменные формально различных типов (доменов) нельзя. В Прологе допускается использование структуры, состоящей из нескольких простых или сложных объектов, например:

domains

articles=book(title,author)

author=author(init,fam)

title, author, fam=symbol

init=string

1.4 Предикаты

Раздел predicates должен содержать полный перечень предикатов пользователя, применяемых в программе. Описание предиката включает <имя предиката> и <список доменов его аргументов>:

<имя предиката> (<d1>,<d2>,…<dN>), где <d1>,<d2>,…<dN>- имена стандартных доменов, объявленных в разделе domains.

Предикаты используются для представления как данных, так и правил их обработки. Примеры:

Predicates

Add(integer,integer,real)

lk (fr)

1.5 Утверждения

В разделе clauses описываются утверждения относительно предикатов. Отрицание предиката pr задаётся в форме not(pr) и допустимо только для правой части правила. Существует два типа утверждений: факты и правила. Факт – это имя предиката с заключённым в скобки списком аргументов. Факты используются для констатации того, что выполнено некоторое отношение между объектами. Обычно они записываются относительно предметных констант Однако в фактах могут использоваться и переменные, что позволяет укрупнять факты, уменьшая их общее число и трудоёмкость их поиска в базе данных.

Например, факт mult(x,0,0) объединяет все ф

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать