which is never useful, or even lega

which is never useful, or even legal, in Prolog. If Sum is not instantiated, the
reference to it in the right side is undefined and the clause fails. IfSum is already
instantiated, the clause fails, because the left operand cannot have a current
instantiation when is is evaluated. In either case, the instantiation of Sum to
the new value will not take place. (If the value of Sum + Number is required,
it can be bound to some new name.)

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

mà không bao giờ là hữu ích, hoặc thậm chí hợp pháp, tại Prolog. Nếu số tiền không instantiated, cáctài liệu tham khảo để nó ở phía bên phải là không xác định và các khoản không. IfSum là đãinstantiated, khoản thất bại, bởi vì operand trái không thể có một hiện nayinstantiation khi là được đánh giá. Trong cả hai trường hợp, instantiation số tiền đểgiá trị mới sẽ không diễn ra. (Nếu giá trị của số tiền + số là cần thiết,nó có thể bị ràng buộc để một số tên mới.)

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

đó là không bao giờ hữu ích, hoặc thậm chí phạm pháp luật, trong Prolog. Nếu Sum không được khởi tạo, các
tài liệu tham khảo để nó ở phía bên phải là không xác định và mệnh đề không. IfSum đã được
khởi tạo, các khoản thất bại, bởi vì toán hạng trái không thể có một hiện tại
instantiation khi đang được đánh giá. Trong cả hai trường hợp, instantiation của Sum để
các giá trị mới sẽ không diễn ra. (Nếu giá trị của Sum + Số là cần thiết,
nó có thể được liên kết với một số tên mới.)