SWI-Prolog adalah implementasi Prolog yang kuat dan mudah digunakan. Berikut adalah panduan langkah demi langkah untuk menjalankan SWI-Prolog di Windows dan Unix. Panduan ini mencakup cara memuat program, menambahkan fakta dan aturan, serta menjalankan kueri, lengkap dengan contoh-contoh praktis.
Memulai SWI-Prolog
Setelah menginstal SWI-Prolog, Anda dapat menjalankannya melalui terminal atau command prompt. Pada sistem Unix, ketik swipl di terminal. Untuk pengguna Windows, buka Command Prompt, ketik swipl, lalu tekan Enter. Setelah itu, prompt Prolog akan muncul dengan tanda ?- yang menunjukkan bahwa SWI-Prolog siap menerima perintah.
Sebagai contoh, setelah menjalankan perintah berikut:
$ swipl
Anda akan melihat:
Welcome to SWI-Prolog ...
1 ?-
Untuk memuat file program Prolog, gunakan perintah consult/1 atau cukup masukkan nama file dalam tanda kurung siku. Jika Anda memiliki file bernama likes.pl, muat file tersebut dengan perintah:
?- [likes].
Anda juga dapat memulai Prolog dengan langsung memuat file:
$ swipl likes.pl
Jika file berada di direktori yang berbeda, Anda dapat mengubah direktori kerja menggunakan predikat bawaan seperti pwd/0 untuk melihat direktori saat ini dan cd/1 untuk berpindah direktori. Misalnya:
?- pwd.
% /home/user/prolog/
true.
?- cd('C:/PrologProjects').
true.
?- pwd.
% C:/PrologProjects/
true.
Menambahkan Fakta dan Aturan
Anda dapat menulis fakta dan aturan langsung di konsol Prolog. Untuk melakukannya, konsultasikan pseudo-file user, lalu masukkan fakta dan aturan Anda. Akhiri input dengan karakter end-of-file (Ctrl+D di Unix atau Ctrl+Z di Windows). Contohnya:
?- [user].
|: suka(ali, apel).
|: suka(budi, jeruk).
|: teman(X, Y) :- suka(X, Z), suka(Y, Z), X \= Y.
|: % tekan Ctrl+D atau Ctrl+Z di sini
true.
Anda juga bisa menambahkan fakta dan aturan secara dinamis menggunakan predikat seperti assertz/1 atau menghapusnya dengan retract/1.
Menjalankan Kueri
Setelah memuat program atau menambahkan fakta dan aturan, Anda dapat menjalankan kueri untuk mendapatkan jawaban. Sebagai contoh, jika Anda ingin mengetahui siapa yang menyukai apel:
?- suka(ali, apel).
true.
Untuk mengetahui siapa yang menjadi teman, jalankan kueri seperti berikut:
?- teman(ali, Siapa).
Siapa = budi.
Jika ada lebih dari satu jawaban, Anda dapat menekan ; untuk meminta jawaban berikutnya, atau tekan Enter jika tidak ada jawaban lain yang diinginkan.
Menyimpan Program ke File
Biasanya, program Prolog disimpan dalam file dengan ekstensi .pl. Misalnya, buat file keluarga.pl dengan isi berikut:
orang_tua(ali, budi).
orang_tua(budi, cici).
kakek(X, Y) :- orang_tua(X, Z), orang_tua(Z, Y).
Untuk memuat program dari file ini, gunakan:
?- [keluarga].
Setelah file dimuat, Anda dapat menjalankan kueri seperti:
?- kakek(ali, Siapa).
Siapa = cici.
Mengedit dan Memperbarui File
Jika perlu mengedit file, Anda dapat menggunakan editor teks pilihan Anda. Setelah menyimpan perubahan, jalankan perintah make/0 di SWI-Prolog untuk memperbarui basis pengetahuan:
?- make.
% File /path/to/keluarga.pl compiled 0.00 sec, 3 clauses
true.
Mengakhiri Sesi SWI-Prolog
Untuk keluar dari sesi Prolog, cukup ketik:
?- halt.
Ini akan menutup SWI-Prolog dan mengembalikan Anda ke terminal atau command prompt.
Dengan panduan ini, Anda siap untuk mulai menggunakan SWI-Prolog untuk membangun program berbasis logika. Jangan ragu untuk mencoba contoh-contoh di atas dan bereksperimen dengan fakta, aturan, dan kueri lainnya. Selamat belajar! 😊