Jabarkan Negasi sebagai Kegagalan dari Logika pemrograman

Untuk sebagian besar aplikasi praktis, serta untuk aplikasi yang membutuhkan penalaran non-monotonik dalam kecerdasan buatan, program logika Klausa Horn perlu diperluas ke program logika normal dengan kondisi negatif. Sebuah "klausa" dalam program logika normal memiliki bentuk:

H :- A1, …, An, tidak B1, …, tidak Bn.

dan dibaca secara deklaratif sebagai implikasi logis:

H jika sebuah1 dan … dan sebuahn dan bukan B1 dan … dan tidak Bn.

Dimana H dan semua dari Ai dan Bi adalah formula atomik. Negasi pada literal negatif  not Bi