This statement would fail because m

This statement would fail because member succeeded. When this goal failed,
X would be uninstantiated, because Prolog always uninstantiates all variables
in all goals that fail. Next, Prolog would attempt to satisfy the outer not goal,
756 Chapter 16 Logic Programming Languages
which would succeed, because its argument had failed.

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

Tuyên bố này sẽ thất bại vì thành viên thành công. Khi mục tiêu này không thành công,X sẽ được uninstantiated, bởi vì Prolog luôn luôn uninstantiates tất cả các biếntrong tất cả các mục tiêu mà không thành công. Tiếp theo, Prolog sẽ cố gắng đáp ứng bên ngoài không phải mục tiêu,Ngôn ngữ lập trình Logic chương 16 756mà sẽ thành công, bởi vì đối số của nó đã thất bại.

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

Tuyên bố này sẽ thất bại vì thành viên đã thành công. Khi mục tiêu này không thành công,
X sẽ được uninstantiated, vì Prolog luôn uninstantiates tất cả các biến
trong tất cả các mục tiêu mà thất bại. Tiếp theo, Prolog sẽ cố gắng để đáp ứng các mục tiêu bên ngoài không,
756 Chương 16 logic Ngôn ngữ lập trình
đó sẽ thành công, bởi vì đối số của nó đã thất bại.