🗊Презентация Рекурсивное программирование на языке Пролог

Категория: Устройства и комплектующие
Нажмите для полного просмотра!
Рекурсивное программирование на языке Пролог, слайд №1Рекурсивное программирование на языке Пролог, слайд №2Рекурсивное программирование на языке Пролог, слайд №3Рекурсивное программирование на языке Пролог, слайд №4Рекурсивное программирование на языке Пролог, слайд №5Рекурсивное программирование на языке Пролог, слайд №6Рекурсивное программирование на языке Пролог, слайд №7Рекурсивное программирование на языке Пролог, слайд №8Рекурсивное программирование на языке Пролог, слайд №9Рекурсивное программирование на языке Пролог, слайд №10Рекурсивное программирование на языке Пролог, слайд №11Рекурсивное программирование на языке Пролог, слайд №12Рекурсивное программирование на языке Пролог, слайд №13Рекурсивное программирование на языке Пролог, слайд №14Рекурсивное программирование на языке Пролог, слайд №15Рекурсивное программирование на языке Пролог, слайд №16Рекурсивное программирование на языке Пролог, слайд №17Рекурсивное программирование на языке Пролог, слайд №18Рекурсивное программирование на языке Пролог, слайд №19
Скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Рекурсивное программирование на языке Пролог. Доклад-сообщение содержит 19 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


Язык SWI Prolog Рекурсивное программирование на языке Пролог
Описание слайда:
Язык SWI Prolog Рекурсивное программирование на языке Пролог

Слайд 2


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

Слайд 3


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

Слайд 4


Синтаксис рекурсивных правил и процедур В общем случае рекурсивная процедура имеет следующий вид: <заголовок рекурсивного правила>:<предикат условия выхода>, <предикаты>. <заголовок рекурсивного правила >:<предикаты>, <заголовок рекурсивного правила >,<предикаты>. <заголовок рекурсивного правила >:<предикаты>, <заголовок рекурсивного правила >,<предикаты>. ………………………………………….. <заголовок рекурсивного правила >:<предикаты>, <заголовок рекурсивного правила >,<предикаты>.
Описание слайда:
Синтаксис рекурсивных правил и процедур В общем случае рекурсивная процедура имеет следующий вид: <заголовок рекурсивного правила>:<предикат условия выхода>, <предикаты>. <заголовок рекурсивного правила >:<предикаты>, <заголовок рекурсивного правила >,<предикаты>. <заголовок рекурсивного правила >:<предикаты>, <заголовок рекурсивного правила >,<предикаты>. ………………………………………….. <заголовок рекурсивного правила >:<предикаты>, <заголовок рекурсивного правила >,<предикаты>.

Слайд 5


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

Слайд 6


Синтаксис рекурсивных правил и процедур (продолжение) В языке Пролог при согласовании целей правила в процедуре выбираются в порядке их записи в программе. В рекурсивных программах порядок записи правил может оказаться весьма важным. Неудачное расположение правил может привести к бесконечным, рекурсивным вызовам, завершением которых является переполнение стека. Чтобы обеспечить проверку условий завершения рекурсивных вызовов, рекомендуется нерекурсивное правило с условием выхода записывать перед рекурсивными правилами.
Описание слайда:
Синтаксис рекурсивных правил и процедур (продолжение) В языке Пролог при согласовании целей правила в процедуре выбираются в порядке их записи в программе. В рекурсивных программах порядок записи правил может оказаться весьма важным. Неудачное расположение правил может привести к бесконечным, рекурсивным вызовам, завершением которых является переполнение стека. Чтобы обеспечить проверку условий завершения рекурсивных вызовов, рекомендуется нерекурсивное правило с условием выхода записывать перед рекурсивными правилами.

Слайд 7


Примеры рекурсивных процедур. Пример 1. Программа определения суммы ряда натуральных чисел. sum_series (1,1). sum_series(N,S):N>0,Next is N-1, sum_series(Next,S1), S is N+S1. ?  sum_series(6,S). S=21. YES
Описание слайда:
Примеры рекурсивных процедур. Пример 1. Программа определения суммы ряда натуральных чисел. sum_series (1,1). sum_series(N,S):N>0,Next is N-1, sum_series(Next,S1), S is N+S1. ?  sum_series(6,S). S=21. YES

Слайд 8


Примеры рекурсивных процедур. Пример 2. Программа генерации ряда натуральных чисел от N до 20. write_number (20) :write(20). write_number(N): N<20,write(N),nl,Next is N-1, write_number (Next). ?  write_number(15). 15 16 17 18 19 20 YES
Описание слайда:
Примеры рекурсивных процедур. Пример 2. Программа генерации ряда натуральных чисел от N до 20. write_number (20) :write(20). write_number(N): N<20,write(N),nl,Next is N-1, write_number (Next). ?  write_number(15). 15 16 17 18 19 20 YES

Слайд 9


Схема поиска решений в рекурсивных программах Для представления формализованной схемы поиска решений будут использоваться следующие обозначения: ТР текущая резольвента. Первой ТР является исходный вопрос. Каждая следующая резольвента ТР получается путем редукции, т. е. замены самой левой цели в предыдущей резольвенте на тело правила, заголовок которого сопоставим с целью, или путем удаления цели. Если цель сопоставима с фактом, и в том и другом случае вырабатывается подстановка и применяется ко всей ТР.
Описание слайда:
Схема поиска решений в рекурсивных программах Для представления формализованной схемы поиска решений будут использоваться следующие обозначения: ТР текущая резольвента. Первой ТР является исходный вопрос. Каждая следующая резольвента ТР получается путем редукции, т. е. замены самой левой цели в предыдущей резольвенте на тело правила, заголовок которого сопоставим с целью, или путем удаления цели. Если цель сопоставима с фактом, и в том и другом случае вырабатывается подстановка и применяется ко всей ТР.

Слайд 10


Схема поиска решений в рекурсивных программах Шаг №  шаг вычисления. Шагом вычислений будем считать действия, выполняемые после определения ТР и заканчивающиеся построением новой ТР или выводом об успехе/неудаче.
Описание слайда:
Схема поиска решений в рекурсивных программах Шаг №  шаг вычисления. Шагом вычислений будем считать действия, выполняемые после определения ТР и заканчивающиеся построением новой ТР или выводом об успехе/неудаче.

Слайд 11


Схема поиска решений в рекурсивных программах ТЦ текущая цель. Текущая цель  это цель, подлежащая согласованию на данном шаге. Пр №  правило, применимое для редукции на определенном шаге. Успех вывод об успешном вычислении вопроса. Неудача вывод о неуспешном вычислении вопроса.
Описание слайда:
Схема поиска решений в рекурсивных программах ТЦ текущая цель. Текущая цель  это цель, подлежащая согласованию на данном шаге. Пр №  правило, применимое для редукции на определенном шаге. Успех вывод об успешном вычислении вопроса. Неудача вывод о неуспешном вычислении вопроса.

Слайд 12


Схема поиска решений в рекурсивных программах Откат, Возврат. Отказ  это отказ пользователя от выданного успешного ответа на вопрос, механизм возврата включается принудительно. Возврат  это тупиковая ситуация во время вычисления вопроса, механизм возврата включается автоматически. Так как при рекурсивном обращении к правилу создаются новые экземпляры переменных, будем на каждом шаге добавлять к именам переменных индекс в виде номера шага.
Описание слайда:
Схема поиска решений в рекурсивных программах Откат, Возврат. Отказ  это отказ пользователя от выданного успешного ответа на вопрос, механизм возврата включается принудительно. Возврат  это тупиковая ситуация во время вычисления вопроса, механизм возврата включается автоматически. Так как при рекурсивном обращении к правилу создаются новые экземпляры переменных, будем на каждом шаге добавлять к именам переменных индекс в виде номера шага.

Слайд 13


Пример поиска решения в рекурсивной программе Рассмотрим пример классической рекурсивной процедуры вычисления факториала; эта процедура включает два правила: fact (1,1). fact(N,Res):N>1,N1 = N-1,fact(N1,Res1), Res is N*Res1.
Описание слайда:
Пример поиска решения в рекурсивной программе Рассмотрим пример классической рекурсивной процедуры вычисления факториала; эта процедура включает два правила: fact (1,1). fact(N,Res):N>1,N1 = N-1,fact(N1,Res1), Res is N*Res1.

Слайд 14


Схема вычисления запроса GOAL: fact(3, Res). имеет следующий вид: ТР: fact(3,Res). Шаг 1: ТЦ: fact(3,Res). Пр1: 3=1no Пр2: 3>1,N11 is 3-1, fact(N11,Res11),Res is Res11*3. ТР: 3>1,N11 is 3-1, fact(2,Res11), Res is Res11*3. Шаг 2: ТЦ: 3>1. yes ТР: N11 is 3-1, fact(2,Res11), Res is Res11*3.
Описание слайда:
Схема вычисления запроса GOAL: fact(3, Res). имеет следующий вид: ТР: fact(3,Res). Шаг 1: ТЦ: fact(3,Res). Пр1: 3=1no Пр2: 3>1,N11 is 3-1, fact(N11,Res11),Res is Res11*3. ТР: 3>1,N11 is 3-1, fact(2,Res11), Res is Res11*3. Шаг 2: ТЦ: 3>1. yes ТР: N11 is 3-1, fact(2,Res11), Res is Res11*3.

Слайд 15


Схема вычисления запроса ТР: N11 is 3-1, fact(2,Res11), Res is Res11*3. Шаг 3: ТЦ: N11 is 3-1, Yes {N11=2} ТР: fact(2,Res11), Res is Res11*3.
Описание слайда:
Схема вычисления запроса ТР: N11 is 3-1, fact(2,Res11), Res is Res11*3. Шаг 3: ТЦ: N11 is 3-1, Yes {N11=2} ТР: fact(2,Res11), Res is Res11*3.

Слайд 16


Схема вычисления запроса ТР: fact(2,Res11), Res is Res11*3. Шаг 4: ТЦ: fact(2,Res11). Пр1: 2=1no Пр2: 2>1,N12 is 2-1, fact(N12,Res12),Res11 is Res12*2. ТР: 2>1,N12 is 2-1, fact(1,Res12), Res11 is Res12*2, Res is Res11*3. ТР: 2>1,N12 is 2-1, fact(1,Res12), Res11 is Res12*2 , Res is Res11*3. Шаг 5: ТЦ: 2>1. Yes ТР: N12 is 2-1, fact(1,Res12), Res11 is Res12*2, Res is Res11*3.
Описание слайда:
Схема вычисления запроса ТР: fact(2,Res11), Res is Res11*3. Шаг 4: ТЦ: fact(2,Res11). Пр1: 2=1no Пр2: 2>1,N12 is 2-1, fact(N12,Res12),Res11 is Res12*2. ТР: 2>1,N12 is 2-1, fact(1,Res12), Res11 is Res12*2, Res is Res11*3. ТР: 2>1,N12 is 2-1, fact(1,Res12), Res11 is Res12*2 , Res is Res11*3. Шаг 5: ТЦ: 2>1. Yes ТР: N12 is 2-1, fact(1,Res12), Res11 is Res12*2, Res is Res11*3.

Слайд 17


Схема вычисления запроса Шаг 6: ТЦ: N12 is 2-1. Yes N12=1 ТР: fact(1,Res12), Res11 is Res12*2, Res is Res11*3. Шаг 7: ТЦ: fact(1,Res12). Пр1: 1=1yes {Res12=1} ТР: Res11 is 1*2 ,Res is Res11*3.
Описание слайда:
Схема вычисления запроса Шаг 6: ТЦ: N12 is 2-1. Yes N12=1 ТР: fact(1,Res12), Res11 is Res12*2, Res is Res11*3. Шаг 7: ТЦ: fact(1,Res12). Пр1: 1=1yes {Res12=1} ТР: Res11 is 1*2 ,Res is Res11*3.

Слайд 18


Схема вычисления запроса Шаг 8: ТЦ: Res11 is 1*2. Yes {Res11= 2 } ТР: Res is 2*3.
Описание слайда:
Схема вычисления запроса Шаг 8: ТЦ: Res11 is 1*2. Yes {Res11= 2 } ТР: Res is 2*3.

Слайд 19


Схема вычисления запроса Шаг 9: ТЦ: Res is 2*3. {Res=6} ТР:  (пустая резольвента) {Res=6} Успех
Описание слайда:
Схема вычисления запроса Шаг 9: ТЦ: Res is 2*3. {Res=6} ТР:  (пустая резольвента) {Res=6} Успех

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию