a: - b,c,d.
b: - e,f.
c.
e.
f.
?-a
a(1)
a(2)
a(3)
№ шага
Целевой
дизъюнкт
Исходный
резольвета
1
2
3
4
5
6
?- a.
?-b,c,d
?-e,f,c,d
?-f,c,d
?-c,d
?-d
a:-b,c,d.
b:-e,f