Section dasar Visual Prolog

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.