Negation as failure
= Negation as failure
{wiki}
A negative rule premise interpreted through a specified rule semantics rather than as an independently asserted classical negative fact. <Stable model semantics> evaluates such premises through a candidate interpretation and its <stable model reduct>.