Prolog

Definisi

_{Prolog kependekan dari Programming of Logic adalah bahasa pemrograman logika atau di sebut juga sebagai bahasa non-procedural. Namanya diambil dari bahasa Perancis yaitu 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.}

_{Algoritma dari prolog terdiri dari logika dan kontrol, logika terdiri dari fakta dan peraturan sedangkan kontrol cara sebuah algoritma untuk diterapkan pada sebuah peraturan.}

Fakta dan Peraturan (Facts and Rules)

_{Fakta adalah satu unit informasi yang selalu bernilai benar.}

_{Peraturan merupakan suatu pernyataan yang mengungkap sebuah hubungan diantara fakta-fakta dengan implikasi logika :-.}

_{Peraturan benar jika syarat terpenuhi.}

_{Peraturan terdiri dari bagian syarat (badan klausa)}

_{Kesimpulan  merupakan (kepala klausa).}

_{Kesimpulan akan memberikan nilai benar ketika syarat juga bernilai benar.}

Definsi Fakta

_{lelaki(X)  : X adalah lelaki}

  _{perempuan(X)   : X adalah perempuan}

  _{ayah(Y,X)   : Y adalah ayah dari X}

  _{ibu(Y,X)   : Y adalah ibu dari X}

  _{kakek(Z,X)   : Z adalah kakek dari X}

Definisi Peraturan

_{saudarakandung(X,Y) :- ibu(M,X), bapak(F,X), ibu(M,Y), bapak(F,Y).
kakek(X,Y) :- bapak(X,S), ibu(S,Y) ; bapak(X,S), bapak(S,Y).
nenek(X,Y) :- ibu(X,S), ibu(S,Y) ; ibu(X,S), bapak(S,Y).}

_{anaklelaki(X,Y,Z) : – bapak(Y,X), ibu(Z,X)}  

_{anakperempuan(X,Y,Z) :- bapak(Y,X), ibu(Z,X)}

_{Sebagai contoh misalnya untuk mengetahui saudara kandung, kakek dan nenek sebagaimana pada fakta-fakta di atas.}

  _{Saudara Kandung}

_{Saudara kandung di dapat jika terdapat hubungan bahwa dua orang memiliki bapak dan ibu yang sama, bentuk peraturan (rules) nya sebagai berikut}

 _{saudarakandung(X,Y) :- ibu(M,X), bapak(F,X), ibu(M,Y), bapak(F,Y),}

_{dimana saudarakandung(X,Y) merupakan bagian kesimpulan (kepala) dan ibu(M,X), bapak(F,X), ibu(M,Y), bapak(F,Y) adalah bagian syarat(badan).}

Silsilah Keluarga

_{Pada contoh di atas, bisa dilihat salah satu fakta mengatakan bahwa udin adalah bapak dari kurdi yang ditulis dalam klausa}

   _{bapak(udin, kurdi).}

_{Prolog bisa digunakan untuk mencari kebenaran hubungan dari fakta-fakta di atas, pertama prolog digunakan untuk mengetahui hubungan antara bapak dengan anak, ibu dengan anak,}

  _{?- bapak(ucup, ocid).}

_{akan menghasilkan nilai}

  _true

_{yang menyatakan bahwa ada hubungan ucup sebagai bapak dari ocid.}

_{Contoh lagi :}

  _{?-ibu(uneh, karta).}

_{Yang berarti apakah uneh merupakan ibu dari karta, maka prolog akan memberi jawaban}

  _false

_{mungkin kita tidak hanya ingin menguji kebenaran pernyataan dengan jawaban true atau false, tetapi mungkin pertanyaannya adalah siapa saja anak dari udin}

_{misalnya, siapakah anak dari udin dari istri yang bernama uneh. Penulisan dalam prolog sebagai berikut :}

  _{?-ibu(uneh, X).}

_{Prolog akan memberitahukan nilai X agar pernyataan tersebut benar}

  _{X = emeh;}

_{Kemudian dengan mengetikkan (;) semicolon, akan ditampilkan jawaban berikutnya yaitu.}

  _{X = kurdi;}

              _false

_{Jika kita berusaha untuk mengetikkan semicolon kembali, prolog akan memberikan nilai false, yang berarti jawaban tidak ditemukan lagi.}

_{Hal lain yang bisa dilakukan adalah mengetahui semua fakta yang memiliki predikat bapak misalnya dengan mengetikkan}

  _{?-bapak(X,Y).}

_{Prolog akan memberikan semua jawaban hubungan bapak antara X dan Y sebagai berikut :}

  _{X = udin,
  Y = pengkuh;
  X = udin,
  Y = nonong;
  … dan seterusnya}

_{Kemudian jika kita menuliskan prolog sbb :}

  _{?-saudarakandung(romlah,ocid).}

_{Prolog akan memberikan nilai true, karena bapak mereka adalah ucup dan ibu mereka adalah icih.}

_{Sedangkan jika dituliskan pertanyaan}

  _{?-saudarakandung(nonong,emeh).}

_{Prolog akan memberikan nilai false, keduanya memiliki bapak yang sama tetapi ibu mereka berbeda.}

_{Berdasarkan hal tersebut juga, bisa diketahui siapa saja yang bersaudara kandung, misalnya kita ingin mengetahui dari fakta-fakta tersebut siapa saja saudara kandung dari pengkuh}

  _{?-saudarakandung(pengkuh,X).}

_{Jawabannya :}

  _{X = nonong; <enter>
  X = karta; <enter>
  false}

_{Begitu juga dengan hubungan kakek dan cucu, kakek adalah bapak dari bapak kandung atau bapak dari ibu kandung, sehingga peraturan tersebut ditulis sebagai berikut :}

  _{Kakek(X,Y) :- bapak(X,S), bapak(S, Y) ; bapak(X, T), ibu(T,Y).}

_{Semicolon memiliki arti “atau”.}

  _{Contoh ?-kakek(X,bale).}

  _{Prolog akan memberikan jawaban}

  _{X = udin;}

  _{X = ucup.}