1. Apa itu logika pada pemrograman komputer?

Logika pada pemrograman komputer adalah metode untuk memodelkan penalaran dan alur pemikiran dalam pemrograman. Ini melibatkan penggunaan fakta, aturan, dan konsep matematika untuk menyelesaikan masalah dan membuat keputusan dalam program komputer.

2. Apa perbedaan antara pemrograman prosedural dengan pemrograman logika?

Pemrograman prosedural melibatkan penulisan kode program yang berfokus pada prosedur atau tindakan tertentu untuk mencapai tujuan tertentu. Sementara pemrograman logika melibatkan penulisan kode program yang berfokus pada aturan dan fakta untuk menghasilkan output berdasarkan masukan.

3. Jelaskan konsep dari unifikasi pada pemrograman logika.

Unifikasi adalah proses dalam pemrograman logika di mana dua atau lebih variabel atau predikat dikombinasikan untuk menghasilkan solusi atau jawaban.

4. Apa itu Prolog dan apa kegunaannya dalam pemrograman logika?

Prolog adalah bahasa pemrograman logika yang digunakan untuk menulis program dengan aturan dan fakta dalam pemrograman logika. Kegunaannya dalam pemrograman logika adalah untuk membuat program yang dapat menyelesaikan masalah atau menghasilkan output berdasarkan masukan.

5. Apa itu predicate dan clause pada pemrograman logika?

Predicate adalah fungsi atau relasi dalam pemrograman logika yang menerima satu atau lebih argumen dan menghasilkan nilai logis (true atau false). Clause adalah pernyataan dalam bahasa Prolog yang mengandung aturan atau fakta.

6. Apa itu backtracking dalam pemrograman logika?

Backtracking adalah proses yang terjadi ketika program mencoba setiap kemungkinan solusi untuk mencari solusi yang benar. Jika program mencapai titik di mana tidak ada solusi yang mungkin, ia akan mundur ke titik sebelumnya dan mencoba solusi yang berbeda.

7. Apa itu rekursi pada pemrograman logika?

Rekursi adalah proses di mana sebuah fungsi memanggil dirinya sendiri untuk menyelesaikan tugas atau mencari solusi. Hal ini sering digunakan dalam pemrograman logika untuk mencari solusi berulang kali atau untuk mengeksplore banyak kemungkinan solusi.

8. Jelaskan perbedaan antara cut (!) dan fail pada pemrograman logika.

Cut (!) digunakan untuk menghentikan backtracking dan menentukan solusi yang terakhir ditemukan sebagai solusi final. Sementara fail digunakan untuk menandakan bahwa suatu aturan atau fakta tidak dapat dipenuhi dan tidak ada solusi yang mungkin.

9. Apa itu inferensi pada pemrograman logika?

Inferensi adalah proses dalam pemrograman logika di mana program menggunakan aturan dan fakta yang telah ditentukan untuk mengekstrak informasi baru atau membuat keputusan berdasarkan masukan yang diberikan.

10. Bagaimana cara mengimplementasikan aturan dan fakta pada pemrograman logika?

Aturan dan fakta dapat diimplementasikan dalam bahasa pemrograman logika seperti Prolog dengan sintaks berikut:

• Fakta: sebuah pernyataan tentang dunia yang benar atau salah. Contoh: wanita(siti), artinya "siti adalah seorang wanita".
• Aturan: aturan adalah pernyataan yang menghubungkan beberapa fakta dan/atau variabel. Contoh: ibu(X,Y) :- wanita(X), orangtua(X,Y), artinya "X adalah ibu dari Y jika X adalah seorang wanita dan X adalah orang tua dari Y".

Dalam kode program, aturan dan fakta diinisialisasi dengan memasukkan pernyataan tersebut ke dalam editor atau file kode. Aturan dan fakta dapat digunakan dalam program untuk menghasilkan output atau membuat keputusan berdasarkan masukan yang diberikan.

Sebagai contoh, berikut adalah kode program Prolog yang menggunakan aturan dan fakta untuk menentukan apakah seseorang adalah anak perempuan:

wanita(maria).

orangtua(john, maria).

orangtua(susan, maria).

anak_perempuan(X) :- wanita(X), orangtua(Y, X).

Dalam kode program di atas, fakta menyatakan bahwa maria adalah seorang wanita dan john dan susan adalah orang tua dari maria. Kemudian, aturan didefinisikan bahwa X adalah anak perempuan jika X adalah seorang wanita dan Y adalah orang tua dari X.

Dengan menggunakan aturan dan fakta di atas, jika kita menjalankan query `anak_perempuan(maria)` pada program, output yang dihasilkan adalah "true", karena maria adalah anak perempuan sesuai dengan definisi yang telah diberikan.