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) 1:

Cuối cùng, kết quả, màlà X, sẽ được in. Nhưng X sẽ không được hiện nay instantiated, vì vậy hệ thốngsẽ cho thấy mà. Nói chung, uninstantiated biến được in trong các hình thứccủa một chuỗi các chữ số trước bằng một gạch dưới. Vì vậy, thực tế đó Prolog không phải làkhông tương đương với một không hợp lý có thể được, ít nhất, gây hiểu nhầm

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