The Prolog not operator is satisfie

The Prolog not operator is satisfied in this case if resolution cannot satisfy the subgoal X = Y. Therefore, if the not succeeds, it does not necessarily
mean that X is not equal to Y; rather, it means that resolution cannot prove
from the database that X is the same as Y. Thus, the Prolog not operator is not
equivalent to a logical NOT operator, in which NOT means that its operand
is provably true. This nonequivalency can lead to a problem if we happen to
have a goal of the form

Kết quả (Việt) 2:

Các Prolog không điều hành được hài lòng trong trường hợp này nếu độ phân giải không thể đáp ứng các subgoal X = Y. Do đó, nếu không thành công, nó không nhất thiết
có nghĩa là X mà không bằng Y; đúng hơn, nó có nghĩa là độ phân giải không thể chứng minh
từ các cơ sở dữ liệu mà X là giống như Y. Như vậy, Prolog không điều hành không
tương đương với một toán tử logic NOT, trong đó không có nghĩa là toán hạng của nó
là provably đúng. Nonequivalency này có thể dẫn đến một vấn đề nếu chúng xảy ra để
có một mục tiêu của các hình thức