У меня есть следующие пункты: num_parent(adam, X) :- !, X = 0. num_parent(eve, X) :- !, X = 0. num_parent(X, 2). Когда я набрал запрос: num_parent(eve,X). Он возвращает только: X = 0. чего я и хочу. Но когда я...

Я довольно много читал про Отрицание по ошибке в Prolog, где Prolog, чтобы доказать, что \+Goal имеет место, пытается доказать, что Goal терпит неудачу. Это тесно связано с CWA (предположение о близком мире), где, например, если мы...