字典

失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {\displaystyle p} を導出することに失敗したとき n o t   p {\displaystyle {\mathit {not}}~p}