Применение вывода для получения новой информации

Пример:

F_­1­: для x,y,z

Если x – отец y, и z – отец x,то z – дед y

F_­2­: у каждого y есть отец x

"y $x(F(x,y))

G: Кто является дедом y?

"y $z D(z,y)

F_­1­: ùF(x,y)ÚùF(z,x)ÚD(z,y)

F_­2­:F(f(y),y) – x=f(y) – подстановка x отец y

F_­3:ù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.интерактивный интерфейс.

Можно работать в режимах:

- интерпретации;

- компиляции.