Finally, the result, whichis X, wou

Finally, the result, which
is X, would be printed. But X would not be currently instantiated, so the system
would indicate that. Generally, uninstantiated variables are printed in the form
of a string of digits preceded by an underscore. So, the fact that Prolog’s not is
not equivalent to a logical NOT can be, at the very least, misleading

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

Cuối cùng, kết quả, đó
là X, sẽ được in. Nhưng X sẽ không được hiện khởi, vì vậy hệ thống
sẽ chỉ ra rằng. Nói chung, các biến uninstantiated được in dưới dạng
một chuỗi các chữ số đứng một gạch dưới. Vì vậy, thực tế là Prolog không phải là
không tương đương với một logic NOT có thể được, ít nhất, gây hiểu lầm