Prolog

Prolog adalah bahasa pemrograman logika atau di sebut juga sebagai bahasa non-procedural. Namanya diambil dari bahasa Perancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh Alain Colmerauer dan Robert Kowalski sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer.

Berbeda dengan bahasa pemrograman yang lain, yang menggunakan algoritma konvensionl sebagai teknik pencariannya seperti pada Delphi, Pascal, BASIC, COBOL dan bahasa pemrograman yang sejenisnya, maka prolog menggunakan teknik pencarian yang di sebut heuristik (heutistic) dengan menggunakan pohon logika.

Section dasar Visual Prolog

Secara umum, program Visual Prolog terdiri dari empat section dasar, yaitu section CLAUSES yaitu section yang paling penting pada program Visual prolog yaitu tempay meletakkan Fakta dan Aturan, section PREDICATES yaitu tempat untuk mendeklarasikan predikat , section DOMAINS bermanfaat untuk memberikan nama yang berarti untuk domain, dan juga digunakan untuk mendeklarasikan struktur data yang tidak didefinisikan standar domain, dan section GOAL yaitu merupakan body sebuah aturan.

Section Program lainnya

Ada beberapa section lainnya yang digunakan di Visual Prolog yaitu section FACTS yaitu suatu koleksi dari sekumpulan fakta dan aturan, section CONSTANS yaitu digunakan di program Visual prolog yang sebelumnya harus dideklarasikan terlebih dahulu , dan section GLOBAL digunakan untuk mendeklarasikan beberapa domain, predikat, clausa menjadi global.

Compiler Directives

Visual Prolog mendukung compiler directives yang dapat ditambahkan ke badan program untuk memberitahukan ke komputer bagaiman secara spesifik memperlakukan kode=kode waktu di- compile.

Aritas Jamak (multiple arity)

Aritas (arity) suatu predikat adalah jumlah argumen yang ada pada predikat dengan nama yang sama namun dengan aritas yang berbeda.

Sintak Aturan (Rule Syntax)

Rule pada Prolog adalah ketika kebenaran sebuah fakta tergantung pada kesuksesan (kebenaran0 dari satu atau lebih fakta yang lain.

Konversi Tipe Otomatis (Automatic Type Conversions)

Ketika Visual Prolog mencocokkan 2 variabel, keduanya tidak selalu berasal ari domain yang sama. Juga kadang variabe diikat (bound) menjadi konstan dari domain lain.

contoh kode programnya :

DOMAINS

kali,jumlah = integer

PREDICATES

tambahkan(jumlah, jumlah, jumlah)

kalikan(kali, kali, kali)

CLAUSES

tambahkan(X,Y,Jumlah) :-

Jumlah = X+Y.

kalikan(X,Y,Kali) :-

Kali = X*Y.

GOAL

tambahkan(32,54,Jumlah).

Hasil diatas didapat karena pada CLAUSES terdapat perintah Jumlahkan X dengan Y (tambahkan(X,Y,Jumlah)) jika Jumlah=X+Y yang jika di Test Goal: tambahkan(32,54,Jumlah). Akan mendapatkan hasil data seperti diatas.

tambahkan(jumlah, jumlah, jumlah) berarti perintah tambahkan mempunyai 3 variabel yaitu jumlah, jumlah, jumlah.

kalikan(kali, kali, kali) berarti perintah kalikan mempunyai 3 variabel yaitu kali, kali, kali.