Weasley Dinasty

weasleyIt’s about prolog. Hm, I tend to like this declarative language. With prolog we can make a logical test. We can include some facts and rules in your notepad then open it in Prolog’s console. Let’s see these sample. well, it’s my old informatic logic’s practice though.

Weasley Dinasty(1st practice of prolog)

weasley

interpret Weasley’s family tree into prolog with these rules!!

  1. The facts are:
    1. pria(X) : X adalah pria
    2. wanita(Y) : Y adalah wanita
    3. ayah(X,Y)  : X adalah ayah Y
    4. suami(X,Y): X adalah suami Y
  2. The rules are:
    1. istri(X,Y)  : X adalah istri Y
    2. ibu(X,Y)  : X adalah ibu Y
    3. orangtua(X,Y) : X adalah orang tua Y
    4. anak(X,Y)   : X adalah anak Y
    5. kakek(X,Y)  : X adalah kakek Y
    6. nenek(X,Y) : X adalah nenek Y
    7. cucu(X,Y)  : X adalah cucu Y
    8. leluhur(X,Y) : X adalah leluhur Y (buat dengan definisi leluhur yang benar, leluhur adalah orang tua, atau orang tua dari orang tua, dst. Hint : Gunakan rekursif).
    9. keturunan(X,Y) : X adalah keturunan Y (definisi keturunan adalah kebalikan dari definisi leluhur).
    10. saudara_kandung(X,Y) : X adalah saudara kandung dengan Y.
    11. paman(X,Y) : X adalah paman Y (definisi paman adalah saudara kandung pria dari orang tua, saudara ipar tidak termasuk)
    12. bibi(X, Y)  : X adalah bibi Y (definisi bibi adalah saudara_kandung wanita dari orang tua, saudara ipar tidak termasuk)
    13. keponakan(X,Y) : X adalah keponakan Y (definisi keponakan adalah anak yang dimiliki oleh saudara kandung, anak yang dimiliki oleh saudara ipar tidak termasuk)
    14. sepupu(X,Y) : X adalah sepupu Y
    15. mertua(X,Y) : X adalah mertua Y
    16. saudara_ipar(X,Y) : X adalah saudara ipar dengan Y

Hint: untuk membuat rule mertua dan saudara ipar, buatlah rule bantuan “pasangan(nama,nama)” yaitu rule yang menyatakan kedua nama tersebut adalah suami istri.

PS. I don’t have much time t

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s