A negated atom, in the sense of negation as failure, not logical negation. That is, it is true if atom is not known/defined. Linear Supertypes.
確定! 回上一頁