TUGAS RUTIN 6 HIMPUNAN DAN LOGIKA

NAMA : Ardenata Aritonang

NIM : 4203111033
NO ABSEN :5
NO.SOAL : 53

SOAL NO 53

Andaikan fakta Prolog yang digunakan untuk menentukan predikat ibu

(M, Y) dan ayah (F, X), masing-masing mewakili “M adalah ibu dari Y”
dan “F adalah ayah dari X”. Berikan aturan Prolog untuk menentukan
predikat Kakek (X, Y), yang mewakili bahwa X adalah kakek Y.
[Petunjuk: Kamu dapat menulis sebuah disjungsi di Prolog dengan
menggunakan titik koma untuk memisahkan predikat atau dengan
menempatkan predikat ini pada baris yang terpisah].

PENYELESAIAN:

DIK : Ibu (M,Y)  menyatakan bahwa M adalah ibu dari Y

Ayah (X,Y)  menyatakan bahwa X adalah ayah dari Y

DIT : Berikan aturan prolog untuk menentukan predikat kakek (X,Y), yang
Menyatakan bahwa X adalah kakek dari Y [Petunjuk: Kamu dapat
menulis sebuah disjungsi di Prolog dengan menggunakan titik koma
untuk memisahkan predikat atau dengan menempatkan predikat ini pada
baris yang terpisah] ?

JAWAB :

Kakek (X,Y) :- Bapak(X,Z),Bapak(Z,Y)

Kakek(X,Y) :- Bapak(X,Z),Ibu(Z,Y)

Maka Jika ditulis dalam sebuah disjungsi di prolog maka aturan prolognya
yaitu:

Orang tua(Z,Y) :- Bapak(Z,Y) ; Ibu(Z,Y).

kakek(X,Y) :- Bapak(X,Z) ; Orang tua(X,Z).