Logika pemrograman

Templat:Paradigma 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 :- B₁, …, B_n.

dan telah dibaca secara deklaratif sebagai implikasi logis:

H if B₁ dan … dan B_n.

H disebut kepala atau _head_ dari peraturan dan B₁, ..., B_n 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, B₁, ..., B_n 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 B₁, dan ... dan selesaikan juga B_n.

Pertimbangkan juga klausa berikut sebagai contohnya:

bersalah(X) :- manusia(X).

Berdasarkan pada sebuah contoh digunakan oleh Terry Winograd ^[1] 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.^[2] 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.^[3]

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^{[butuh rujukan]}

Meskipun didasarkan pada metode pembuktian logika, Planner, yang dikembangkan di MIT, adalah bahasa pertama yang muncul dalam paradigma prosedural ini.^[4] 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.^[1] 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.^{[butuh rujukan]}

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.^[5] Sebaliknya, Kowalski mengembangkan resolusi SLD,^[6] varian resolusi SL,^[7] 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,^[8] pemrograman logika konstrain ^[9]