{"id":2574,"date":"2021-01-19T13:19:38","date_gmt":"2021-01-19T06:19:38","guid":{"rendered":"https:\/\/luckytruedev.com\/learning\/?p=2574"},"modified":"2021-01-19T13:19:40","modified_gmt":"2021-01-19T06:19:40","slug":"prolog","status":"publish","type":"post","link":"https:\/\/luckytruedev.com\/learning\/prolog\/","title":{"rendered":"Prolog"},"content":{"rendered":"\n

Definisi<\/strong><\/p>\n\n\n\n

Prolog\u00a0kependekan dari Programming of Logic adalah bahasa pemrograman logika atau di sebut juga sebagai bahasa non-procedural.<\/sub> Namanya diambil dari bahasa Perancis\u00a0yaitu<\/sub> programmation en logique <\/sub><\/em>(pemrograman logika).<\/sub> Bahasa ini diciptakan oleh\u00a0Alain Colmerauer\u00a0dan\u00a0Robert Kowalski\u00a0sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika.<\/sub><\/p>\n\n\n\n

Algoritma dari prolog terdiri dari logika dan kontrol, logika terdiri dari fakta dan peraturan sedangkan kontrol cara sebuah algoritma untuk diterapkan pada sebuah peraturan.<\/sub><\/p>\n\n\n\n

Fakta dan Peraturan (Facts and Rules)<\/strong><\/p>\n\n\n\n

Fakta adalah satu unit informasi yang selalu bernilai benar.<\/sub><\/p>\n\n\n\n

Peraturan merupakan suatu pernyataan yang mengungkap sebuah hubungan diantara fakta-fakta dengan implikasi logika :-.<\/sub><\/p>\n\n\n\n

Peraturan benar jika syarat terpenuhi.<\/sub><\/p>\n\n\n\n

Peraturan terdiri dari bagian syarat (badan klausa)<\/sub><\/p>\n\n\n\n

Kesimpulan  merupakan (kepala klausa).<\/sub><\/p>\n\n\n\n

Kesimpulan akan memberikan nilai benar ketika syarat juga bernilai benar.<\/sub><\/p>\n\n\n\n

Definsi Fakta<\/strong><\/p>\n\n\n\n

lelaki(X)  : X adalah lelaki<\/sub><\/p>\n\n\n\n

  perempuan(X)   : X adalah perempuan<\/sub><\/p>\n\n\n\n

  ayah(Y,X)   : Y adalah ayah dari X<\/sub><\/p>\n\n\n\n

  ibu(Y,X)   : Y adalah ibu dari X<\/sub><\/p>\n\n\n\n

  <\/sub><\/strong>kakek(Z,X)   : Z adalah kakek dari X<\/sub><\/p>\n\n\n\n

Definisi Peraturan<\/strong><\/p>\n\n\n\n

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).<\/sub><\/p>\n\n\n\n

anaklelaki(X,Y,Z) : – bapak(Y,X), ibu(Z,X) \u00a0<\/sub><\/p>\n\n\n\n

anakperempuan(X,Y,Z) :- bapak(Y,X), ibu(Z,X)<\/sub><\/p>\n\n\n\n

Sebagai contoh misalnya untuk mengetahui saudara kandung, kakek dan nenek sebagaimana pada fakta-fakta di atas.<\/sub><\/p>\n\n\n\n

  Saudara Kandung<\/sub><\/p>\n\n\n\n

Saudara kandung di dapat jika terdapat hubungan bahwa dua orang memiliki bapak dan ibu yang sama, bentuk peraturan (rules) nya sebagai berikut<\/sub><\/p>\n\n\n\n

 <\/sub>saudarakandung(X,Y) :- ibu(M,X), bapak(F,X), ibu(M,Y), bapak(F,Y),<\/sub><\/em><\/p>\n\n\n\n

dimana <\/sub>saudarakandung(X,Y) <\/sub><\/em>merupakan bagian kesimpulan (kepala) dan<\/sub> ibu(M,X), bapak(F,X), ibu(M,Y), bapak(F,Y) <\/sub><\/em>adalah bagian syarat(badan).<\/sub><\/p>\n\n\n\n

Silsilah Keluarga<\/strong><\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

Pada contoh di atas, bisa dilihat salah satu fakta mengatakan bahwa <\/sub>udin<\/sub> adalah bapak dari <\/sub>kurdi<\/sub> yang ditulis dalam klausa<\/sub><\/p>\n\n\n\n

\u00a0 \u00a0<\/sub>bapak(udin, kurdi).<\/sub><\/em><\/strong><\/p>\n\n\n\n

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,<\/sub><\/p>\n\n\n\n

  ?- bapak(<\/sub><\/em><\/strong>ucup<\/sub><\/em><\/strong>, <\/sub><\/em><\/strong>ocid<\/sub><\/em><\/strong>).<\/sub><\/em><\/strong><\/p>\n\n\n\n

akan menghasilkan nilai<\/sub><\/p>\n\n\n\n

  true<\/sub><\/em><\/strong><\/p>\n\n\n\n

yang menyatakan bahwa ada hubungan ucup sebagai bapak dari ocid.<\/sub><\/p>\n\n\n\n

Contoh lagi :<\/sub><\/em><\/strong><\/p>\n\n\n\n

  ?-ibu(<\/sub><\/em><\/strong>uneh<\/sub><\/em><\/strong>, <\/sub><\/em><\/strong>karta<\/sub><\/em><\/strong>).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Yang berarti apakah <\/sub>uneh<\/sub> merupakan ibu dari <\/sub>karta<\/sub>, maka prolog akan memberi jawaban<\/sub><\/p>\n\n\n\n

\u00a0 false<\/sub><\/em><\/strong><\/p>\n\n\n\n

mungkin kita tidak hanya ingin menguji kebenaran pernyataan dengan jawaban true atau false, tetapi mungkin pertanyaannya adalah siapa saja anak dari <\/sub>udin<\/sub><\/sub><\/p>\n\n\n\n

misalnya, <\/sub>siapakah<\/sub> anak dari <\/sub>udin<\/sub> dari istri yang bernama <\/sub>uneh<\/sub>. Penulisan dalam prolog sebagai berikut :<\/sub><\/p>\n\n\n\n

  ?-ibu(<\/sub><\/em><\/strong>uneh<\/sub><\/em><\/strong>, X).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Prolog akan memberitahukan nilai X agar pernyataan tersebut benar<\/sub><\/p>\n\n\n\n

  X = <\/sub><\/em><\/strong>emeh<\/sub><\/em><\/strong>;<\/sub><\/em><\/strong><\/p>\n\n\n\n

Kemudian dengan mengetikkan (;) semicolon, akan ditampilkan jawaban berikutnya yaitu.<\/sub><\/p>\n\n\n\n

  X = <\/sub><\/em><\/strong>kurdi<\/sub><\/em><\/strong>;<\/sub><\/em><\/strong><\/p>\n\n\n\n

              false<\/sub><\/em><\/strong><\/p>\n\n\n\n

Jika kita berusaha untuk mengetikkan semicolon kembali, prolog akan memberikan nilai <\/sub>false<\/sub><\/em><\/strong>, yang berarti jawaban tidak ditemukan lagi.<\/sub><\/p>\n\n\n\n

Hal lain yang bisa dilakukan adalah mengetahui semua fakta yang memiliki predikat bapak misalnya dengan mengetikkan<\/sub><\/p>\n\n\n\n

  ?-bapak(X,Y).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Prolog akan memberikan semua jawaban hubungan bapak antara X dan Y sebagai berikut :<\/sub><\/p>\n\n\n\n

\u00a0 X = udin,
\u00a0 Y = pengkuh;
\u00a0 X = udin,
\u00a0 Y = nonong;<\/sub><\/em><\/strong>
\u00a0 \u2026 dan seterusnya<\/sub><\/p>\n\n\n\n

Kemudian<\/sub> <\/sub>jika<\/sub> <\/sub>kita<\/sub> <\/sub>menuliskan<\/sub> prolog <\/sub>sbb<\/sub> :<\/sub><\/p>\n\n\n\n

  ?-saudarakandung(<\/sub><\/em><\/strong>romlah<\/sub><\/em><\/strong>,<\/sub><\/em><\/strong>ocid<\/sub><\/em><\/strong>).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Prolog akan memberikan nilai true, karena bapak mereka adalah <\/sub>ucup<\/sub> dan ibu mereka adalah <\/sub>icih<\/sub>.<\/sub><\/p>\n\n\n\n

Sedangkan jika dituliskan pertanyaan<\/sub><\/p>\n\n\n\n

  ?-saudarakandung(<\/sub><\/em><\/strong>nonong<\/sub><\/em><\/strong>,<\/sub><\/em><\/strong>emeh<\/sub><\/em><\/strong>).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Prolog akan memberikan nilai false, keduanya memiliki bapak yang sama tetapi ibu mereka berbeda.<\/sub><\/p>\n\n\n\n

Berdasarkan hal tersebut juga, bisa diketahui siapa saja yang bersaudara kandung, misalnya kita ingin mengetahui dari fakta-fakta tersebut siapa saja saudara kandung dari <\/sub>pengkuh<\/sub><\/p>\n\n\n\n

  ?-saudarakandung(<\/sub><\/em><\/strong>pengkuh<\/sub><\/em><\/strong>,X).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Jawabannya :<\/sub><\/em><\/strong><\/p>\n\n\n\n

\u00a0 X = nonong; <enter>
\u00a0 X = karta; <enter>
\u00a0 false<\/sub><\/em><\/strong><\/p>\n\n\n\n

Begitu juga dengan hubungan kakek dan cucu, kakek adalah bapak dari bapak kandung atau bapak dari ibu kandung, sehingga peraturan tersebut ditulis sebagai berikut :<\/sub><\/p>\n\n\n\n

  Kakek(X,Y) :- bapak(X,S), bapak(S, Y) ; bapak(X, T), ibu(T,Y).<\/sub><\/em><\/strong><\/p>\n\n\n\n

Semicolon memiliki arti \u201catau\u201d.<\/sub><\/p>\n\n\n\n

  Contoh <\/sub>?-kakek(X,<\/sub><\/em><\/strong>bale<\/sub><\/em><\/strong>).<\/sub><\/em><\/strong><\/p>\n\n\n\n

  Prolog akan memberikan jawaban<\/sub><\/p>\n\n\n\n

  X = <\/sub><\/em><\/strong>udin<\/sub><\/em><\/strong>;<\/sub><\/em><\/strong><\/p>\n\n\n\n

  X = <\/sub><\/em><\/strong>ucup<\/sub><\/em><\/strong>.<\/sub><\/em><\/strong><\/p>\n