Слайды и текст доклада
Pic.1
Построение дерева вывода Указания
Pic.2
Исходный текст программы domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1, b2). transition(b2, x1, …
Pic.3
Обозначение списка [x1, x2, x3] – список из трех элементов [x1] – список из одного элемента [] – пустой список При подстановке [x1, x2, x3] -> [H | Tail] будет H = x1, Tail = [x2, x3]. При …
Pic.4
Разделы программы domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1, b2). transition(b2, x1, b3). …
Pic.5
Виды аксиом Факт: transition(b1, x1, b2). ||| transition(b1, x1, b2) = ИСТИНА Правило: accessible(B1, [X|Rest], B2) :- transition(B1, X, B3), accessible(B3, [Rest], B2). ||| accessible(B1, [X|Rest], …
Pic.6
Целевая формула domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1, b2). transition(b2, x1, b3). …
Pic.8
Поиск подходящего правила domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1, b2). transition(b2, x1, …
Pic.9
Шаг 1: Конкретизация
Pic.11
Поиск подходящего правила domains list=symbol* predicates nondeterm transition(symbol, symbol, symbol) nondeterm accessible(symbol, list, symbol) clauses transition(b1, x1, b2). transition(b2, x1, …
Pic.12
Шаг 2: Конкретизация
Pic.15
Решение Целевая формула accessible(b1, [X1, X1, X1], b4) доказана в виде accessible(b1, [x1, x1, x1], b4), значит, решение: X1 = x1.
Pic.16
Составная цель goal transition(B1, X, B2), B1 = B2.
Pic.17
Альтернативные цели goal transition(B1, x1, B2), B1 = B2; transition(B1, x2, B2), B1 <> B2.
Скачать презентацию
Если вам понравился сайт и размещенные на нем материалы, пожалуйста, не забывайте поделиться этой страничкой в социальных сетях и с друзьями! Спасибо!