Apa itu bahasa prolog?

Prolog adalah bahasa pemrograman komputer yang didasarkan pada logika.Sebagian besar bahasa komputer didasarkan pada langkah -langkah yang diperlukan untuk memecahkan masalah.Bahasa prolog, di sisi lain, adalah bahasa deklaratif yang menunjukkan hubungan logis antara entitas.Cara untuk menyelesaikan masalah diserahkan ke komputer.Nama Prolog berasal dari program Prancis en logique, yaitu, logika pemrograman.

Berikut ini adalah program prolog sederhana:

leluhur (f, c):- ayah (f, c)
leluhur (p, q):- Ayah (P, R), leluhur (R, Q)
Ayah (John, Jim).
Ayah (Jim, Jerry).
Ayah (Jerry, Jason).
Ayah (Jerry, Jeff).
Ayah (ayahJason, Joshua).

Program di atas menunjukkan disangkal.Jika F adalah ayah dari C, maka F adalah leluhur C. Jika P adalah ayah dari beberapa orang yang merupakan leluhur Q, maka P adalah leluhur Q. Sejumlah fakta yang benar kemudian diberikan, sepertiJohn menjadi ayah Jim.Jika kemudian pertanyaan masalah diajukan apakah John adalah leluhur Jeff, kami mendapat respons ya seperti di bawah ini:

?- leluhur (John, Jeff).
Ya

Jika leluhur Yosua menarik, maka maka, maka menariknya, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik minat, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik minat, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik, maka menarik,Program ini menampilkan semua leluhur sebagai berikut:

?- leluhur (a, joshua)
a ' jason
a ' jerry
a ' jim
a ' John

Perhatikan bahwa dalam kedua contoh di atas, program tidak memberi tahubagaimana melakukan evaluasi.Misalnya, itu tidak menunjukkan apakah akan memulai dari orang yang lebih tua dan bekerja untuk orang yang lebih muda atau sebaliknya.Juga pertukaran bagian seperti di bawah ini:

leluhur (p, q):- leluhur (r, q), ayah (p, r)

tidak akan membuat perbedaan pada program, karena kedua bagian ini di sisi kanan membutuhkan kebutuhan kanan kebutuhan kananmenjadi benar agar sisi kiri menjadi benar.

Bahasa prolog dengan demikian berfokus pada hubungan, dan bukan pada bagaimana menyelesaikan masalah.Selama pelaksanaan program, Prolog membangun sejumlah pernyataan sejati, membuat basis pengetahuan.Dalam contoh di atas, basis pengetahuan, tanpa urutan tertentu, akan memiliki leluhur (John, Jim), leluhur (Jim, Jerry), leluhur (John, Jerry), leluhur (Jim, Jason), leluhur (John, Jason),dan seterusnya.KnowledgeBase ini dapat terus membangun saat program dieksekusi, dan dapat dicari secara efisien untuk mendapatkan solusi.Eksekusi dapat menggunakan pemrosesan paralel, eksekusi simultan oleh beberapa komputer.

Bahasa prolog digunakan di sejumlah area.Itu dimulai dalam sistem yang diarahkan untuk bahasa alami seperti bahasa Inggris;Bahasa alami adalah salah satu bidang kecerdasan buatan.Bahasa prolog juga digunakan dalam matematika simbolik, termasuk aljabar.Ini digunakan dalam membuktikan teorema, dalam sistem ahli, dan dalam sistem kontrol, di antara banyak aplikasi lainnya.