The logical status of negation as failure was unresolved until Keith Clark showed that, under certain natural conditions, it is a correct (and sometimes complete) implementation of classical negation with respect to the completion of the program.
Логічний статус заперечення як невдачі, так і залишився невирішеним, поки Кейт Кларк показали, що при певних природних умовах, це правильне (а іноді і повне) виконання класичного заперечення щодо завершення програми.