失敗による否定

読み方、または別称：

しっぱいによるひてい

失敗による否定とは

失敗による否定（しっぱいによるひてい）は、論理プログラミングで使われる非単調論理的推論規則であり、p を導出することに失敗したとき \mathit{not}~p を自動的に導出することである。Planner や Prolog の初期から論理プログラミングの重要な機能となっている。Prolog では、論理構成要素の範囲外として実装されることが多い。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ 失敗による否定の改定履歴 ]