Logika pemrograman itu apa sih?

Logika Pemrograman adalah paradigma pemrograman yang sebagian besar didasari dalam logika formal. Seluruh program yang ditulis pada sebuah logika bahasa pemrograman adalah sekelompok kalimat-kalimat dalam bentuk logis, mengekspresikan fakta-fakta, dan peraturan-peraturan tentang beberapa permasalahan yang didalam bagian tersebut. Bahasa pemrograman logika sebagian besar termasuk Prolog, jawaban sekelompok pemrograman atau _answer set programming_ (ASP) dan Datalog. Dalam seluruh bahasa-bahasa berikut, peraturan-peraturannya ditulis dalam bentuk klausa:

H :- B1, …, Bn.

dan telah dibaca secara deklaratif sebagai implikasi logis:

H if B1 dan … dan Bn.

H disebut kepala atau _head_ dari peraturan dan B1, ..., Bn dipanggil badan atau body. Fakta-fakta adalah peraturan-peraturan yang tak memiliki badan, dan ditulis dalam bentuk simpleks: