Logika pemrograman

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:

H.

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:

bersalah(X) :- manusia(X).

Berdasarkan pada sebuah contoh digunakan oleh Terry Winograd  untuk mengiilustrasikan bahasa pemrograman Planner. Sebagai sebuah klausa dalam program logis, bisa digunakan sebagai prosedur untuk mengetes apakah X adalah bersalah dengan mengetes apakah X adalah manusia, dan sebagai prosedur untuk menemukan X dimana bersalah ditemukan sebuah X dimana seorang manusia Bahkan fakta-fakta memiliki interpretasi prosedural. Contoh, klausa:

manusia(sokrates).

bisa digunakan sebagai prosedur untuk menunjukkan bahwa sokrates adalah manusia, dan sebagai prosedur untuk mencari X adalah sebagai human dengan "memberikan" sokrates untuk X.

Pembacaan deklaratif untuk program logis bisa digunakan oleh programmer untuk memeriksa kebenarannya. Lebih lagi, berdasarkan logika program transformasi, teknik-tekniknya bisa dilakukan juga untuk mentransformasi program logika menjadi program ekuivalen secara logis yang sama-sama lebih efisien. Dalam keluarga bahasa pemrograman logika Prolog, seorang programmer bisa menggunakan perilaku penyelesaian masalah yang telah diketahui dari mekanisme eksekusi untuk meningkatkan efesiensi dari sebuah program.

Sejarah 
Penggunaan logika matematika untuk merepresentasikan dan menjalankan program komputer juga merupakan fitur dari kalkulus lambda, yang dikembangkan oleh Alonzo Church pada tahun 1930-an. Namun, proposal pertama untuk menggunakan bentuk logika clausal untuk merepresentasikan program komputer dibuat oleh Cordell Green.. Ini menggunakan aksiomatisasi subset dari LISP, bersama dengan representasi relasi masukan-keluaran, untuk menghitung relasi dengan mensimulasikan eksekusi program di LISP. Di sisi lain, Foster dan Elcock, menggunakan kombinasi persamaan dan kalkulus lambda dalam bahasa pemrograman asersi yang tak membatasi urutan dari operasi yang dilakukan.

Pemrograman logika sekarang dapat ditelusuri kembali ke perdebatan akhir tahun 1960-an dan awalh 1970-an tentang representasi pengetahuan deklaratif dengan prosedural di kecerdasan buatan.Para pendukung representasi deklaratif terutama bekerja di Stanford, terkait dengan John McCarthy, Bertram Raphael dan Cordell Green, dan di Edinburgh, dengan John Alan Robinson (pengunjung akademik dari Universitas Syracuse), Pat Hayes, dan Robert Kowalski. Pendukung representasi prosedural terutama dipusatkan di MIT, di bawah kepemimpinan Marvin Minsky dan Seymour Papert

Meskipun didasarkan pada metode pembuktian logika, Planner, yang dikembangkan di MIT, adalah bahasa pertama yang muncul dalam paradigma prosedural ini. Perencana menampilkan pemanggilan rencana prosedural yang diarahkan pola dari tujuan (yaitu reduksi tujuan atau rangkaian mundur dan dari pernyataan asersi atau rangkaian maju. mplementasi Planner yang paling berpengaruh adalah bagian dari Planner, yang disebut Micro-Planner, yang diimplementasikan oleh Gerry Sussman, Eugene Charniak dan Terry Winograd. Dimaan itu digunakan untuk mengimplementasikan program pemahaman bahasa alami Winograd SHRDLU, yang merupakan mercusuar pada waktu itu. Untuk mengatasi sistem memori yang sangat terbatas pada saat itu, Planner menggunakan backtracking struktur kontrol sehingga hanya satu jalur perhitungan yang mungkin harus disimpan pada satu waktu. Planner melahirkan bahasa pemrograman QA-4, Popler, Conniver, QLISP, dan bahasa konkuren Ether.

Hayes dan Kowalski di Edinburgh mencoba mendamaikan pendekatan deklaratif berbasis logika untuk representasi pengetahuan dengan pendekatan prosedural Planner. Hayes (1973) mengembangkan bahasa persamaan, Golux, di mana prosedur yang berbeda dapat diperoleh dengan mengubah perilaku pembukti teorema. Sebaliknya, Kowalski mengembangkan resolusi SLD, varian resolusi SL, dan ditunjukkan bagaimana memperlakukan implikasi sebagai prosedur reduksi tujuan. Kowalski bersama dengan Colmerauer di Marseille, yang telah mengembangkan ide ini dalam desain dan implementasi bahasa pemrograman Prolog.

Asosiasi untuk Pemrograman Logika telah ditemukan untuk mempromosikan Pemrogramin Logika di tahun 1986.

Prolog memberikan kebangkitan kepada bahasa-bahasa pemrograman ALF, Fril, Gödel, Mercury, Oz, Ciao, Visual Prolog, XSB, dan λProlog, serta berbagai bahasa pemrograman logika konkuren, pemrograman logika konstrain

Konsep

Semantik 
Maarten van Emden dan Robert Kowalski mendefinisikan tiga semantik untuk program logika klausa Horn, model-theoretic, fixed-point, dan bukti teoritis, dan menunjukkan bahwa mereka lebih ekuivalen.

Logika dan Kontrol 

Pemrograman logika bisa dilihat sebagai deduksi terkontrol. Sebuah konsep penting dalam pemrograman logika adalah separasi dari program kepada komponen logika dan kontrolnya. Dengan bahasa pemrograman logika yang murni, komponen logika sendirik dapat menentukan solusi yang dihasilkan. Komponen kontrol bisa bervariasi untuk memberikan jalan alternatif dalam mengeksekusi logika program. Notasi ini diambil dengan slogan

Algoritma = Logika + Kontrol

Dimana "Logika" merepresentasikan program logis dan "Kontrol" merepresenasikan strategi pembuktian teorema yang berbeda.

Penyelesaian Masalah 
Dalam kasus proposisional yang disederhanakan di mana program logika dan tujuan atom tingkat atas tidak mengandung variabel, penalaran mundur menentukan AND-OR pohon, yang merupakan ruang pencarian untuk memecahkan tujuan. Sasaran tingkat atas adalah akar pohon. Diberikan node mana pun di pohon dan klausa mana pun yang kepalanya cocok dengan node, ada sekumpulan node anak yang sesuai dengan sub-tujuan di badan klausa. Simpul anak ini dikelompokkan bersama oleh "AND". Himpunan anak-anak alternatif yang sesuai dengan cara-cara alternatif untuk memecahkan simpul dikelompokkan bersama oleh "OR".

Strategi pencarian apa pun dapat digunakan untuk mencari ruang ini. Prolog menggunakan strategi backtracking berurutan, last-in-first-out, di mana hanya satu alternatif dan satu sub-tujuan yang dipertimbangkan pada satu waktu. Strategi pencarian lainnya, seperti pencarian paralel, penelusuran mundur yang cerdas, atau pencarian pertama terbaik untuk menemukan solusi optimal, juga dimungkinkan.

Dalam kasus yang lebih umum, di mana sub-tujuan berbagi variabel, strategi lain dapat digunakan, seperti memilih sub-tujuan yang paling banyak diinstansiasi atau yang cukup diinstansiasi sehingga hanya satu prosedur yang berlaku. Strategi seperti itu digunakan, misalnya, di pemrograman logika konkuren.

Negasi sebagai Kegagalan 

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