Jabarkan H. dari Logika pemrograman

Dalam kasus yang simpleks dimana H, B1, ..., Bn adalah semuanya formula atomik, klausa-klausa ini dipanggil klausa definit atau Klausa Horn. Namun, ada banyak ekstensi dari kasus simpleks ini, untuk kasus yang paling penting adalah dimaan kondisi-kondisinya dalam tubuh dari sebuah klausa, bisa juga dari negasi dari formula atomik. Bahasa pemrograman logis termasuk dalam ekstensi ini memiliki ilmu pengetahuan yang merepresentasikan kapabilitas dari logika non-monoton.

Dalam ASP atau _Answer Set Programming_ atau jawaban sekelompok pemrograman dan Datalog, program logika hanya memiliki satu bacaan dari deklaratif, dan eksekusinya adalah dilakukan dengan melakukan bukti prosedur atau model generator yang perilakunya tidak dimaksudkan untuk dikontrol oleh programmer. Namun, dalam keluarga bahasa Prolog, program logis juga memiliki interpretasi Prosedural sebagai prosedur reduksi tujuan:

untuk menyelesaikan H, selesaikan B1, dan ... dan selesaikan juga Bn.

Pertimbangkan juga klausa berikut sebagai contohnya: