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