Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Пример:
F1: для x,y,z
Если x – отец y, и z – отец x,то z – дед y
F2: у каждого y есть отец x
"y $x(F(x,y))
G: Кто является дедом y?
"y $z D(z,y)
F1: ùF(x,y)ÚùF(z,x)ÚD(z,y)
F2:F(f(y),y) – x=f(y) – подстановка x отец y
F3:ùD(z,a)
Вывод: ùF(x,y)ÚùF(z,x)ÚD(f(y),y) F(f(y),y)
ùF(z,f(y))ÚD(z,y) ùD(z,a)
ùF(z,f(a)) F(f(y),y)
1.z=f(y)
z(f(y),f(y),y)
2.y=f(a)
F(f(y),f(a))
F(f(f(a)),f(a))
результат унификации
Z=f(f(a)) “отец отца а - дед”
Логическое программирование – не опирающееся на теорию логического вывода. Практическая реализация и формализация в виде языка Пролог.
Формализация опирается на:
1.упрощении и ограничении логических формул;
2.конкретизации области интерпретации;
3.расширении интерпретации.
Введены встроенные исполняемые предикаты, к ним относят:
1.вычисления;
2.ввод/вывод;
3.графика;
4.интерактивный интерфейс.
Можно работать в режимах:
- интерпретации;
- компиляции.
Дата публикования: 2014-11-28; Прочитано: 225 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!