Функциональное и логическое программирование

№

Резольвента

Правило

Подстановка

Комментарий

1

{exp(2, s(0), 2)}

exp(Y1, s(X1), Z1) :- exp(Y1, X1, W1), times(W1, Y1, Z1).

{Y1 = 2, X1 = 0, Z1 = 2}

s(0) ≠ 0 (Подходит только 8-е правило)  

2

{exp(2, 0, W1), times(W1, 2, 2)}

exp(Y2, 0, s(0)).

{Y2 = 2, W1 = s(0)}

Случайно выбрана 1-я подцель; 0 ≠ s(X)
(Подходит только 7-е правило)

3

{times(s(0), 2, 2)}

times(s(X2), Y3, Z2) :- times(X2, Y3, W2), plus(Y3, W2, Z2).

{Y3 = 2, X2 = 0, Z2 = 2}

 s(0) ≠ 0 (Подходит только 6-е правило)

4

{times(0, 2, W2), plus(2, W2, 2)}

times(0, X3, 0).

{X3 = 2, W2 = 0}

Случайно выбрана 1-я подцель; 0 ≠ s(X)
(по 5-му правилу, как единственному подходящему в этом случае)

5

{plus(2, 0, 2)}

plus(s(X4), Y4, s(Z3)) :- plus(X4, Y4, Z3).

{X4 = s(0), Y4 = 0,      Z3 = s(0)}

 2  ≠ 0

(Подходит только 4е правило)

6

{plus(s(0), 0, s(0))}

plus(s(X5), Y5, s(Z4)) :- plus(X5, Y5, Z4).

{X5 = 0, Y5 = 0, Z4 = 0}

s(0) ≠ 0

(Подходит только 4-е правило)

7

{plus(0, 0, 0)}

plus(0, X6, X6) :- n_number(X6).

{X6 = 0}

 0 ≠ s(X)
(Подходит только 3-е правило)

8

{n_number(0)}

n_number(0).

{}

Нет переменных, Подходит только 1-е правило

9

{}

-

-

В резольвенте ничего => успешно

№

Резольвента

Правило

Подстановка

Комментарий

1

{div(3, 2, 1, 1)}

div(X1, Y1, Z1, W1) :- times(Z1, Y1, Q1), plus(Q1, W1, X1).

{X1 = 3, Y1 = 2,   Z1 = 1, W1 = 1}

 3 ≠ 0
(В данном случае подходит только 10-е правило)

2

{times(1, 2, Q1), plus(Q1, 1, 3)}

times(s(X2), Y2, Z2) :- times(X2, Y2, W2), plus(Y2, W2, Z2).

{X2 = 0, Y2 = 2,   Z2 = Q1}

Случайным образом выбрана 1-я подцель

 1 ≠ 0

(Подходит только 6-е правило)

3

{times(0, 2, W2), plus(2, W2, Q1), plus(Q1, 1, 3)}

times(0, X3, 0).

{X3 = 2, W2 = 0}

Случайно выбрана 1-я подцель;

0 ≠ s(X)
(Используем единственное подходящее 5-е правило)

4

{plus(2, 0, Q1), plus(Q1, 1, 3)}

plus(s(X4), Y3, s(Z3)) :- plus(X4, Y3, Z3).

{X4 = 1, Y3 = 0,   Q1 = s(Z3)}

Случайно выбрана 1-я подцель

2 ≠ 0

(Подходит только 4-е правило)

5

{plus(1, 0, Z3), plus(s(Z3), 1, 3)}

plus(s(X5), Y4, s(Z4)) :- plus(X5, Y4, Z4).

{X5 = 0, Y4 = 0,   Z3 = s(Z4)}

Случайно выбрана 1-я подцель

1 ≠ 0

(Подходит только 4-е правило)

6

{plus(0, 0, Z4), plus(s(s(Z4)), 1, 3)}

plus(0, X6, X6) :- n_number(X6).

{X6 = 0,                Z4 = X6 = 0}

Случайно выбрана 1-я подцель

0 ≠ s(X)

(Использовали единственное подходящее 3-е правило)

7

{n_number(0), plus(s(s(0)), 1, 3)}

plus(s(X7), Y5, s(Z5)) :- plus(X7, Y5, Z5).

{X7 = s(0), Y5 = 1,   Z5 = 2}

Случайно выбрана 2-я подцель

s(s(0)) ≠ 0

(Подходит только 4-е правило)

8

{n_number(0), plus(s(0), 1, 2)}

plus(s(X8), Y6, s(Z6)) :- plus(X8, Y6, Z6).

{X8 = 0, Z6 = 1}

Случайно выбрана 2-я подцель

 s(0) ≠ 0
(Подходит только 4-е правило)

9

{n_number(0), plus(0, 1, 1)}

plus(0, X9, X9) :- n_number(X9).

{X9 = 1}

Случайно выбрана 2-я подцель

 0 ≠ s(X)

Подходит только 3-е правило

10

{n_number(0), n_number(1)}

n_number(0).

{}

Случайно выбрана 1-я подцель

 0 ≠ s(X)

(Подходит только 1-е правило)

переменных нет

11

{n_number(1)}

n_number(s(X10)) :- n_number(X10).

{X10 = 0}

Единственное подходящее 2-е правило

s(0) ≠ 0

12

{n_number(0)}

n_number(0).

{}

Единственное подходящее 1-е правило

(0 ≠ s(X)

переменных нет

13

{}

-

-

В резольвенте ничего => успешно