Логическое программирование - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Содержание ▲

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

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

Слайд 1

Описание слайда:

Факультет Прикладной математики и физики Факультет Прикладной математики и физики Кафедра Вычислительной математики и программирования Московский авиационный институт (государственный технический университет)

Слайд 2

Описание слайда:

Языки логического программирования Языки логического программирования Пролог и Mercury

Слайд 3

Описание слайда:

speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,tech_translator) :- studied_languages(X),studied_technical(X). speciality(X,programmer) :- studied(X,mathematics),studied(X, compscience). speciality(X,lit_translator) :- studied_languages(X),studied(X,literature). studied_technical(X) :- studied(X,mathematics). studied_technical(X) :- studied(X,compscience). studied_languages(X) :- studied(X,english). studied_languages(X) :- studied(X,german). studied(petya,mathematics). studied(vasya,german). studied(petya,compscience). studied(vasya,literature). studied(petya,english).

Слайд 4

Описание слайда:

Алфавит = ASCII Алфавит = ASCII

Слайд 5

Описание слайда:

Константы, соответствующие объектам предметной области Константы, соответствующие объектам предметной области Во всей программе одинаковые атомы соответствуют одному и тому же объекту Синтаксис: Слово со строчной буквы petya Последовательность спецсимволов

Слайд 6

Описание слайда:

Синтаксис: Синтаксис: Начинаются с заглавной буквы или _ _ - анонимная переменная Область действия – одно правило Две переменные с одним и тем же именем в разных правилах – разные _ - означает все время разные переменные

Слайд 7

Описание слайда:

Переменные, входящие в заключение правила, квантифицированы универсально Переменные, входящие в заключение правила, квантифицированы универсально Переменные, входящие только в посылку, квантифицированы экзистенциально

Слайд 8

Описание слайда:

В каждый момент времени переменная может быть свободной или связанной В каждый момент времени переменная может быть свободной или связанной Переменная связывается в процессе унификации Повторная унификация не изменяет значения переменной Переменная может изменить значение (перестать быть связанной) в процессе возврата (backtracking)

Слайд 9

Описание слайда:

функтор(терм_1,...,терм_n) функтор(терм_1,...,терм_n) функтор/n – арность=n

Слайд 10

Описание слайда:

Унификация в Прологе Унификация в Прологе Явная f(X,a) = f(b,Y) Неявная в процессе поиска правил pred(f(X,a)) :- … f(Z) :- Z=f(X,A), … Правила унификации Константа унифицируется с такой же константой, разные константы не унифицируются Свободная переменная унифицируется с чем угодно и связывается Связанная переменная унифицируется как значение, с которым она связана Структурные термы унифицируются, если У них одинаковый функтор и арность Все аргументы попарно унифицируются

Слайд 11

Описание слайда:

Слайд 12

Описание слайда:

С помощью структурных термов можно записывать арифметические выражения С помощью структурных термов можно записывать арифметические выражения

Слайд 13

Описание слайда:

Арность Арность одноместный not x двухместный x + y Позициональность инфиксный x + y префиксный not x постфиксный x! Ассоциативность Левоассоциативный x◊y◊z = (x◊y)◊z Правоассоциативный x◊y◊z = x◊(y◊z) Приоритет 1+2*3 = 1+(2*3)

Слайд 14

Описание слайда:

Слайд 15

Описание слайда:

Слайд 16

Описание слайда:

Слайд 17

Описание слайда:

Слайд 18

Описание слайда:

Приоритет – от 1 (высший) до 255 (низший) Приоритет – от 1 (высший) до 255 (низший) Оператор – послед.спецсимволов или функтор Шаблон – задает арность, позициональность и ассоциативность

Слайд 19

Описание слайда:

Таким образом, мы определили Domain-Specific Language (DSL) для задания конфигурации цепи резисторов и операцию вычисления сопротивления. Таким образом, мы определили Domain-Specific Language (DSL) для задания конфигурации цепи резисторов и операцию вычисления сопротивления.

Слайд 20

Описание слайда:

true – всегда завершается успешно true – всегда завершается успешно fail – всегда завершается неуспешно

Слайд 21

Описание слайда:

Слайд 22

Описание слайда:

Разрабатывается университетом Мельбурна Разрабатывается университетом Мельбурна Функционально-логический язык программирования Строгая типизация Компилятор UNIX-платформы, .NET, C Если программа компилируется, она скорее всего будет работать правильно!

Слайд 23

Описание слайда:

Слайд 24

Описание слайда:

Слайд 25

Описание слайда:

Предикаты могут допускать различные конкретизации входные переменных Предикаты могут допускать различные конкретизации входные переменных speciality(in,out), speciality(out,in), speciality(in,in), speciality(out,out) resistance(in,out), resistance(in,in) Некоторые режимы являются частным случаем других Основные режимы определяют процесс доказательства Несколько вариантов детерминизма в каждом из режимов: det – ровно одно решение (fact, …) nondet – 0 и более решений (speciality(in,out),…) multi – 1 и более решений (speciality(out,out),…) … Mercury проверяет соответствие определения предиката и его режима и детерминизма

Слайд 26

Описание слайда:

Слайд 27

Описание слайда:

Слайд 28

Описание слайда:

Слайд 29

Описание слайда:

Слайд 30

Описание слайда:

Слайд 31

Описание слайда:

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

Теги Логическое программирование

Похожие презентации