Математическое введение в декларативное программирование. Зюзысов В.М. - 41 стр.

UptoLike

Составители: 

Таким образом, мы вывели дизъюнкт (12), выражающий, что sid брат harry, ис-
пользуя аксиомы и факты (4), (5) и (6). Это противоречит отрицанию нашего вопроса, ко-
торое утверждает, что harry не имеет братьев.
41