This is a form of negation as failure.
这是一种形式的否定为失败。