SEPTRIYONO WAHTUDI / 085410147 / TI-S1
PREDICATES
putra(string,string)
saudara_perempuan(string,string)
saudara_laki(string,string)
menikah(string,string)
ayah(string ayah,string putra)
kakek(string kakek,string cucu)
nondeterm ipar_perempuan(string,string)
CLAUSES
putra("Ikhsan","Bentang").
saudara_perempuan("Dini","Dina").
saudara_laki("Adi","Lintang").
menikah("Ikhsan","Dini").
menikah("Lintang","Surga").
ayah(A, B):-putra(B,A).
kakek(A, B):-ayah(A,C), ayah(C,B).
ipar_perempuan(A,B):-menikah(A,C), saudara_perempuan(C,B).
ipar_perempuan(A,B):-saudara_laki(A,C), menikah(C,B).
GOAL
ipar_perempuan("Ikhsan",X).
Jika di Test GOAL hasilnya:
Jika Goal diganti menjadi ipar_perempuan(“Adi”,Y) maka solusinya menjadi:
SEPTRIYONO WAHTUDI / 085410147 / TI-S1
TUGAS
1
PREDICATES
putra(string,string)
saudara_perempuan(string,string)
saudara_laki(string,string)
menikah(string,string)
ayah(string ayah,string putra)
kakek(string kakek,string cucu)
nondeterm ipar_perempuan(string,string)
CLAUSES
putra("Bentang","Genta").
putra("Ikhsan","Bentang").
saudara_perempuan("Dini","Dina").
saudara_laki("Adi","Lintang").
menikah("Ikhsan","Dini").
menikah("Lintang","Surga").
ayah(A, B):-putra(B,A).
kakek(A, B):-ayah(A,C), ayah(C,B).
ipar_perempuan(A,B):-menikah(A,C), saudara_perempuan(C,B).
ipar_perempuan(A,B):-saudara_laki(A,C), menikah(C,B).
GOAL
kakek("Genta",Cucu).
Jika Di Test Goal menjadi:
2
copy : Ctrl + C new : F7
cut : Ctrl + X open : F8
paste : Ctrl + V save : F2
delete : Alt + Del exit : Alt + X
redo : Alt_shift+Bksp test goal : Ctrl + G
undo : Alt+Bksp
SEPTRIYONO WAHTUDI / 085410147 / TI-S1
3
PREDICATES
putra(string,string)
saudara_perempuan(string,string)
saudara_laki(string,string)
menikah(string,string)
ayah(string ayah,string putra)
kakek(string kakek,string cucu)
ipar_perempuan(string,string)
CLAUSES
putra("Ikhsan","Bentang").
saudara_perempuan("Dini","Dina").
saudara_laki("Adi","Lintang").
menikah("Ikhsan","Dini").
menikah("Lintang","Surga").
ayah(A, B):-putra(B,A).
kakek(A, B):-ayah(A,C), ayah(C,B).
ipar_perempuan(A,B):-menikah(A,C), saudara_perempuan(C,B).
ipar_perempuan(A,B):-saudara_laki(A,C), menikah(C,B).
GOAL
ipar_perempuan("Ikhsan",X).
Jika di Test GOAL maka hasilnya :
Penjelasan: jika kode nondeterm dihilangkan maka akan muncul pesan
error(warning),walaupun solusinya berhasil didapat.Hal ini dikarenakan bahwa program
diatas memiliki Goal yang lebih dari 1.
Oleh karena itu kode nondeterm digunakan supaya Goal boleh dari 1,tetapi tidak
merubah solusi yang dicari.