Anda di halaman 1dari 9

Prolog

Silsilah Keluarga

Pendahuluan

First order logic adalah sebuah bahasa formal yang


digunakan di ilmu matematika, philosophy, bahasa dan
ilmu computer. Disebut juga kalkulus predikat, merupakan
logika yang digunakan untuk merepresentasikan masalah
yang tidak dapat direpresentasikan dengan menggunakan
proposisi.

Prolog adalah bahasa pemrograman logika atau di sebut


juga sebagai bahasa non-procedural. Namanya diambil dari
bahasa Perancis programmation en logique (pemrograman
logika).

Bagan Keluarga

Nama

Yudha

Nina

Riko

Dina

Ambar

Hari

Tatang

Yani

Joko

Endah

Budi

Ani

Ika

Tuti

Eko

Dita

Adi

Nana

Nur

Tita

Deskripsi Bagan

Yudha menikah dengan Nina

Yudha dan Nina memiliki anak yaitu


riko,ambar,tatang,dan joko

Budi menikah dengan nur

Budi dan nur mempunyai anak tita

Tita adalah cicit dari yudha dan nina

Riko menikah dengan dina

Ambar menikah dengan hari

Budi,ani,ika,tuti,eko,dita,adi, dan nana adalah cucu dari yudha dan


nina

Tatang menikah dengan yani

Budi dan ani adalah keponakan dari ambar dan hari, tatang dan yani,
joko dan endah

Joko menikah dengan endah

Riko dan dina memiliki anak yaitu budi


dan ani

Ika dan tuti adalah keponakan dari riko dan dina, tatang dan yani,
joko dan endah.

Eko dan dita adalah keponakan dari riko dan dina, ambar dan hari,
joko dan endah

Ambar dan hari memiliki anak ika dan tuti

Adi dan nana adalah keponakan dari riko dan dina, ambar dan hari,
tatang dan yani.

Tatang dan yani punya anak eko dan dita

Joko dan endah punya anak adi dan nana

Fakta

Yuda,Rico,Budi,Hari,Tatang,Eko,Joko,A
di,Rangga adalah seorang pria.

-Rico,ambar,tatang dan joko adalah anak


dari yuda dan nina.

Nina,Dina,Ani,Ambar,Ika,Tita,Tuti,Yani,
Dita,Endah,Nana,Nur,Cinta adalah
seorang wanita.

-Rico dan Dina adalah orang tua dari Budi


dan Ani.

-Ambar dan Hari adalah orang tua dari Ika


dan Tuti.

-Tatang dan Yani adalah orang tua dari Eko


dan Dita.

-Joko dan Endah adalah orang tua dari Adi


dan Nana.

Yuda menikah dengan Nina

Rico menikah dengan Dina

Ambar menikah dengan Hari

Tatang menikah dengan Yani

Joko menikah dengan Endah

Rangga menikah dengan Cinta

Budi menikah dengan Nur.

-Rangga dan cinta adalah orang tua dari


Endah.
-Nur dan Budi adalah orang tua dari Tita.

Rules

Jika B adalah orang tua A, maka A adalah anak B

Jika A adalah orang tua B dan A adalah pria,


maka A adalah ayah B

Jika B adalah bibi dari A atau jika B adalah paman


dari A, maka A adalah keponakan B

Jika X adalah orangtua B dan dan X saudara dari A


dan A adalah pria dan X adalah ortu B dan X adalah
saudara dari Z dan Z menikah dengan A dan A adalah
pria, maka A adalah Paman B

Jika X adalah orangtua B dan dan X saudara dari A


dan A adalah wanita dan X adalah ortu B dan X
adalah saudara dari Z dan Z menikah dengan A dan A
adalah wanita, maka A adalah bibi dari B

Jika A adalah ayah C dan C adalah orangtua B, maka


A adalah Kakek dari B

Jika A adalah ibu C dan C adalah orangtua B, maka A


adalah nenek dari B

Jika B adalah kakek dari A atau jika B adalah nenek


dari A, maka A adalah cucu dari B

Jika A adalah kakek dari B dan X adalah ayah dari A,


maka X adalah kakek buyut dari B

Jika A adalah orang tua B dan A adalah wanita,


maka A adalah ibu B

Jika X adalah ayah A dan X adalah ayah B dan A


tidak sama dengan B, maka A adalah saudara B

Jika D adalah ayah A dan C adalah ibu dari A dan


D adalah ayah dari B dan C adalah Ibu dari B dan
A tidak sama dengan B, maka A saudara kandung
B

Jika X adalah ayah A dan Y adalah ibu A dan X


adalah ayah B dan Z adalah ibu B, dan Y tidak
sama dengan Z, maka A saudara tiri B
Jika A adalah anak B dan B saudara C dan E
adalah anak dari C, maka A adalah sepupu E

Rules

Jika A adalah kakek dari B dan X adalah ibu dari A,


maka X adalah nenek buyut dari B

Jika B adalah kakek buyut dari X atau Jika B adalah


nenek buyut dari X, maka X adalah cicit dari B

Jika A adalah orangtua dari B dan B menikah dengan


C, maka C adalah menantu dari A

Jika A adalah menantu dari C, maka C adalahmertua


dari A

Jika X adalah anak dari A dan Y adalah anak dari B


dan X menkah dengan Y, maka A adalah besan dari B

Jika A adalah saudara dari B dan A menikah dengan


X, maka X adalah saudara Ipar dari B

CONTOH OUTPUT PROGRAM