if Prolog’s not operator were a tru

if Prolog’s not operator were a true logical NOT operator. In some cases,
however, they are not the same. For example, consider again the member rules:

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

Nếu Prolog không nhà điều hành đã là một không hợp lý đúng nhà điều hành. Trong một số trường hợp,Tuy nhiên, chúng không phải như vậy. Ví dụ, hãy xem xét lại các quy tắc thành viên:

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

nếu không điều hành của Prolog là một sự thật không điều hành hợp lý. Trong một số trường hợp,
tuy nhiên, họ không giống nhau. Ví dụ, hãy xem xét lại các quy tắc thành viên: