Презентация Синтаксис языка Prolog онлайн

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Синтаксис языка Prolog абсолютно бесплатно. Урок-презентация на эту тему содержит всего 42 слайда. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.
Презентации » Устройства и комплектующие » Синтаксис языка Prolog


Оцените!
Оцените презентацию от 1 до 5 баллов!
Смотреть онлайн
Скачать
  • Тип файла:
    ppt / pptx (powerpoint)
  • Всего слайдов:
    42 слайда
  • Для класса:
    1,2,3,4,5,6,7,8,9,10,11
  • Размер файла:
    204.50 kB
  • Просмотров:
    71
  • Скачиваний:
    0
  • Автор:
    неизвестен


Слайды и текст к этой презентации:

№1 слайд
Prolog Синтаксис языка Prolog
Содержание слайда: Prolog Синтаксис языка Prolog
№2 слайд
Основные элементы языка
Содержание слайда: Основные элементы языка Пролог Алфавит языка Пролог включает следующие символы: A, B, C, …, Z, a, b, c,…,z — прописные и строчные буквы латинского алфавита. 0,1,2,3,4,5,6,7,8,9 — цифры. + - = * / < > [ ] : ; , | . —специальные знаки. Основные конструкции логического программирования - термы и утверждения.
№3 слайд
Определение и классификация
Содержание слайда: Определение и классификация термов
№4 слайд
Числовые константы Числа в
Содержание слайда: Числовые константы Числа в языке Пролог используются целые и вещественные. Целые числа записываются так же, как в любом другом языке программирования; целые отрицательные числа записываются со знаком, в записи положительных чисел знак можно опустить, например, 135, 0, -89. Вещественные константы могут быть представлены в форме с фиксированной точкой и с плавающей точкой, например, 135.712 и 0.135712E+3,соответственно.
№5 слайд
Атомы
Содержание слайда: Атомы
№6 слайд
Переменные Имя переменной в
Содержание слайда: Переменные Имя переменной в Прологе — это последовательность латинских букв, цифр и знака подчеркивания, начинающаяся с прописной буквы или знака подчеркивания. Например, X, All, S1 — переменные. Переменные используются для представления объектов, значения которых определяются в ходе решения задачи. Переменные записываются в качестве аргументов предикатов в Пролог-программе и в запросах.
№7 слайд
Анонимные переменные Если
Содержание слайда: Анонимные переменные Если значение аргумента предиката не принимается во внимание, то этот аргумент обозначается анонимной переменной, то есть вместо имени переменной указывается знак подчеркивания «_».
№8 слайд
Строки Строки это
Содержание слайда: Строки Строки — это последовательности символов, заключенная в апострофы. Строки используются в задачах обработки текстов на естественных языках. '' — пустая строка. Строки могут включать пробелы, например, '1 января 2003 года ' есть строка, и 'Turbo-Prolog' тоже строка.
№9 слайд
Составные термы Составной
Содержание слайда: Составные термы Составной терм — это конструкция вида f(t1,t2,…,tk), где f — символьный атом, определяющий функциональную константу или главный функтор, а t1,t2,…,tk — термы, каждый из которых может быть составным термом. Составной терм по-другому называется структурой.
№10 слайд
Примеры составных термов book
Содержание слайда: Примеры составных термов book(Author,Title,Year) — пример составного терма. .(H,T) – список, пример составного терма.
№11 слайд
Представление фактов Самая
Содержание слайда: Представление фактов Самая простая программа на Прологе является множеством фактов. Факт — это предикатная структура, заканчивающаяся точкой, которая записывается следующим образом: <имя предиката>(<терм1>,<терм2>,…,<термn>).
№12 слайд
Представление фактов
Содержание слайда: Представление фактов (продолжение) Факт представляет собой утверждение о том, что соблюдается некоторое отношение. С их помощью можно выражать произвольные отношения между объектами. Например, student(‘Иванов’,’МГГУ’). Этот факт определяет отношение между термами, первым из которых является фамилия студента, а вторым место его учебы.
№13 слайд
Синтаксические правила записи
Содержание слайда: Синтаксические правила записи фактов: Имя предиката в утверждении-факте есть символьный атом. После имени предиката записывается список аргументов в круглых скобках. Между именем предиката и открывающей скобкой ‘(‘ не должно быть пробела.
№14 слайд
Синтаксические правила записи
Содержание слайда: Синтаксические правила записи фактов: 3. Возможны нуль—местные предикаты в фактах, т.е. предикаты, не имеющие аргументов. 4. В качестве аргументов в списке могут быть как переменные, так и константы. 5. В конце факта обязательна точка.
№15 слайд
Переменные в фактах
Содержание слайда: Переменные в фактах Переменные в фактах неявно связываются квантором всеобщности. Это означает, что факт p(T1,T2,…Tn). где Ti –переменные следует понимать так (T1) (T2)… (Tn) p(T1,T2,…Tn) —истина. Факты, содержащие переменные, называются универсальными.
№16 слайд
Примеры универсальных фактах
Содержание слайда: Примеры универсальных фактах Примерами универсальных фактов являются следующие утверждения: plus(X,0,X). что означает, сумма любого числа Х с нулем равна X. proiz(X,0,0). что означает, произведение любого числа Х с нулем равна 0.
№17 слайд
Представление правил Правила
Содержание слайда: Представление правил Правила  это средство определения новых утверждений с помощью уже существующих в Пролог-программе утверждений (фактов и правил). С точки зрения синтаксиса языка Пролог правило это утверждение вида A: B1,B2,…Bn. (n0) где A  заголовок правила, а конъюнкция предикатов B1,B2,…Bn называется телом правила.
№18 слайд
Переменные в правилах В
Содержание слайда: Переменные в правилах В правилах, так же как и в фактах, переменные неявно связаны квантором всеобщности. Например, утверждение «Точка с координатами (X,Y) принадлежит окружности с радиусом, равным 2, и с центром в точке начала координат, если X2+Y2=4.» На Прологе будет записано следующим образом: circle(X,Y): X*X+Y*Y=4. что означает для любых X и Y, таких что X*X+Y*Y*=4, точка (X,Y) принадлежит окружности с радиусом, равным 2, и с центром в точке начала координат.
№19 слайд
Процедуры Набор правил,
Содержание слайда: Процедуры Набор правил, заголовки которых имеют одно и то же имя и арность (число аргументов), описывает одно и то же отношение и называется процедурой. Правила, составляющие одну и ту же процедуру, должны следовать в тексте программы подряд. В процедуру нельзя включать правила с другим заголовком.
№20 слайд
Область действия переменных
Содержание слайда: Область действия переменных Логические переменные служат для обозначения неопределенных объектов. Областью действия переменной является одно утверждение (факт или правило).
№21 слайд
Подстановки Подстановкой
Содержание слайда: Подстановки Подстановкой называется конечное (возможно, пустое) множество пар вида Xi = ti, где Xiпеременная, а tiтерм, не содержащий переменную Xi.
№22 слайд
Подстановки и конкретизация
Содержание слайда: Подстановки и конкретизация переменных Результат применения подстановки  к утверждению A обозначается A и получается путем замены каждого вхождения в A каждой переменной Xi на соответствующий терм ti. С помощью подстановок производится конкретизация переменных (аналог присвоения значений) .
№23 слайд
Примеры утверждений
Содержание слайда: Примеры утверждений Утверждение B является примером утверждения A, если найдется такая подстановка , что B=A. Например, факт summa(1,2,3), которое означает, что 1+2=3, является примером утверждения summa(X,Y,3) при применении подстановки ={X=1,Y=2}. Утверждение С называется общим примером утверждений A B, если найдутся такие подстановки 1 и 2, что C=A1 и C=B2, т.е. C является примером A и B одновременно. Например, факт summa(1,2,3) является общим примером утверждений summa(X,2,Z) и summa(1,Y,Z) при применении подстановок 1={X=1,Z=3} и 2={Y=2,Z=3}.
№24 слайд
Примеры утверждений
Содержание слайда: Примеры утверждений Утверждение B является примером утверждения A, если найдется такая подстановка , что B=A. Например, факт summa(1,2,3), которое означает, что 1+2=3, является примером утверждения summa(X,Y,3) при применении подстановки ={X=1,Y=2}.
№25 слайд
Вопросы запросы . Вопрос
Содержание слайда: Вопросы (запросы). Вопрос (целевое утверждение)  это средство извлечения информации из логической программы. С помощью вопроса выясняется, истинно ли некоторое утверждение или нет. С точки зрения логики поиск ответа на вопрос состоит в определении того, является ли утверждение (вопрос) логическим следствием программы или нет.
№26 слайд
Простые вопросы Вопросы,
Содержание слайда: Простые вопросы Вопросы, состоящие из одной цели, называются простыми вопросами.
№27 слайд
Конъюнктивные вопросы Вопрос,
Содержание слайда: Конъюнктивные вопросы Вопрос, включающий в себя конъюнкцию предикатов p1,p2,…,pn , называется конъюнктивным вопросом. Каждый предикат pi называется целью. Конъюнктивный вопрос  это конъюнкция целей.
№28 слайд
Переменные в вопросах Вопрос,
Содержание слайда: Переменные в вопросах Вопрос, не содержащий переменных, называется основным вопросом, а вопрос, включающий переменные, называется неосновным. Переменные в вопросах неявно связаны квантором существования.
№29 слайд
Переменные в вопросах Вопрос
Содержание слайда: Переменные в вопросах Вопрос Goal: p(X1,X2,…Xn). где X1,X2,…Xnпеременные, предполагает утвердительный ответ, если существует такой набор термов t1,t2,…tn, что подстановка {X1=t1,X2=t2,…Xn=tn} в предикат p дает результат “истина”. Если существует, хотя бы одна такая подстановка, то вопрос Goal: p(X1,X2,…Xn). выводим из логической программы, т.е. является логическим следствием программы.
№30 слайд
Общие переменные в
Содержание слайда: Общие переменные в конъюнктивных вопросах Конъюнктивные вопросы обычно содержат общие переменные. Переменные называются общими, если они входят в две или более цели конъюнктивного запроса.
№31 слайд
Пример простой
Содержание слайда: Пример простой Прологпрограммы Программа «Родственники» является примером простой Прологпрограммы. Пусть имеется генеалогическое дерево, определяющее степень родства между людьми.
№32 слайд
Отношение parent Родственные
Содержание слайда: Отношение parent Родственные отношения можно записать с помощью фактов, соответствующие отношению parent(<имя родителя>,<имя ребёнка>) parent(‘Памелла’,’Джон’). parent(‘Памелла’,’Элизабет’). parent(‘Том’,’Джон’). parent(‘Том’,’Элизабет’). parent(‘Джон’,’Анна’). parent(‘Джон’,’Пат’). parent(‘Элизабет’,’Эд’). parent(‘Пат’,’Джим’).
№33 слайд
Отношение person Расширим эту
Содержание слайда: Отношение person Расширим эту программу фактами, определяемыми схемой отношения person(<имя>,<пол>,<возраст>): person(‘Памелла’,’ж’,72). person(‘Том’,’м’,78). person(‘Джон’,’м’,42). person(‘Элизабет’,’ж’,35). person(‘Эд’,’м’,14). person(‘Анна’,’ж’,20). person(‘Пат’,’ж’,25). person(‘Джим’,’м’,3). Отношение person определяет характеристики человека
№34 слайд
Текст программы parent
Содержание слайда: Текст программы parent(‘Памелла’,’Джон’). parent(‘Памелла’,’Элизабет’). parent(‘Том’,’Джон’). parent(‘Том’,’Элизабет’). parent(‘Джон’,’Анна’). parent(‘Джон’,’Пат’). parent(‘Элизабет’,’Эд’). parent(‘Пат’,’Джим’). person(‘Памелла’,’ж’,72). person(‘Том’,’м’,78).
№35 слайд
Текст программы person Джон ,
Содержание слайда: Текст программы person(‘Джон’,’м’,42). person(‘Элизабет’,’ж’,35). person(‘Эд’,’м’,14). person(‘Анна’,’ж’,20). person(‘Пат’,’ж’,25). person(‘Джим’,’м’,3).
№36 слайд
Примеры вопросов к программе
Содержание слайда: Примеры вопросов к программе «Родственники» Вопрос 1. Вопрос ”Является ли Пат родителем Джима? ” на Прологе можно задать следующим образом: ? - parent(‘Пат’,’Джим’). Пролог-система будет искать в программе факт, совпадающий с вопросом, и, обнаружив такой факт, система выдаст ответ ‘YES’. В случае, когда соответствующий факт не обнаружен, система выдаст ответ ‘NO’.
№37 слайд
Примеры вопросов к программе
Содержание слайда: Примеры вопросов к программе «Родственники» Вопрос 2. Вопрос ”Кто отец Элизабет и сколько ему лет? ” на Прологе можно задать следующим образом: ? - parent(Х,’Элизабет’),person(X,'м', Y). Пролог-система выдаст ответ: X=Том Y=78 YES Если возраст не интересует пользователя, то в вопросе используется анонимные переменные, обозначаемые знаками подчеркивания ‘_’.
№38 слайд
Примеры вопросов к программе
Содержание слайда: Примеры вопросов к программе «Родственники» Вопрос 3. Вопрос ”Кто отец Элизабет? ” на Прологе можно задать следующим образом: ? - parent(Х,’Элизабет’),person(X,'м', _). Пролог-система выдаст ответ: X=Том YES
№39 слайд
Примеры вопросов к программе
Содержание слайда: Примеры вопросов к программе «Родственники» Вопрос 3. Приведенные примеры вопросов относятся к программе, состоящей из одних фактов. Для того чтобы сократить и упростить вопросы в Пролог программах задаются правила. Вопрос 3 можно упростить, если задать следующее правило: “X является отцом Y, если X является родителем Y, и X – мужчина.” На языке Пролог это правило записывается так: father(X,Y):-parent(X,Y),person(X,’м’,_).
№40 слайд
Примеры вопросов к программе
Содержание слайда: Примеры вопросов к программе «Родственники» Вопрос 3. А вопрос 3 записывается следующим образом: ? - father(X,’Jim’). Пролог-система выдаст тот же ответ: X=Том YES
№41 слайд
Лабораторная работа .
Содержание слайда: Лабораторная работа № 1. Простейшая программа на языке Пролог. Необходимо выполнить следующие действия: 1. Описать с помощью фактов 4-уровневовое генеалогическое дерево в Прологпрограмме “Родственники”, включающей предикаты parent и person. 2. Написать правила, определяющие следующие отношения: “X является отцом Y” . “X является бабушкой Y” . “X является сестрой Y” . “X является племянником Y” . “X является племянницей Y” .
№42 слайд
Лабораторная работа .
Содержание слайда: Лабораторная работа № 1. Простейшая программа на языке Пролог. “X является родителем родителя Y” . “X является прадедушкой Y” . “X является двоюродным братом Y” . 3. Отладить программу с помощью интерпретатора SWI Prolog. 4. Продемонстрировать работу программы с помощью вопросов. 5. Составить отчет по лабораторной работе.
Скачать все slide презентации Синтаксис языка Prolog одним архивом:
Скачать
Похожие презентации