Program Menu pada Prolog

Domains

Kakek,nenek,ayah,ibu,anak,suami,istri,kakak,adik,cucu,paman,

bibi,keponakan,mertua,menantu=symbol

namakakek,namacucu,namanenek,namaayah,namaibu,namaanak,

namasuami,namaistri,namakakak,namaadik,namapaman,namabibi,

namakeponakan,namamertua,namamenantu=symbol

Predicates

kakek(namakakek,namacucu)

nenek(namanenek,namacucu)

ayah(namaayah,namaanak)

ibu(namaibu,namaanak)

suami(namasuami,namaistri)

istri(namaistri,namasuami)

kakak(namakakak,namaadik)

adik(namaadik,namakakak)

paman(namapaman,namakeponakan)

bibi(namabibi,namakeponakan)

mertua(namamertua,namamenantu)

menantu(namamenantu,namamertua)

Clauses

ayah(panji,bobi).

ayah(panji,nina).

ayah(panji,tino).

ayah(tino,dida).

ayah(tino,dodo).

ibu(nani,bobi).

ibu(nani,nina).

ibu(nani,tino).

ibu(sari,dida).

ibu(sari,dodo).

kakek(panji,dida) :- ayah(panji,tino) and ayah(tino,dida).

kakek(panji,dodo) :- ayah(panji,tino) and ayah(tino,dodo).

nenek(nani,dida).

nenek(nani,dodo).

suami(panji,nani).

suami(tino,sari).

istri(nani,irham).

istri(sari,tino).

kakak(bobi,nina).

kakak(bobi,tino).

kakak(dida,dodo).

adik(nina,bobi).

adik(tino,bobi).

adik(dodo,dida).

paman(bobi,dida).

paman(bobi,dodo).

bibi(nina,dida).

bibi(nina,dodo).

mertua(panji,sari).

mertua(nani,sari).

menantu(sari,panji).

menantu(sari,nani).

Keponakan dari Bobi

Goal:paman(bobi,Namakeponakan).

Namakeponakan=dida

Namakeponakan=dodo

Dapat diketahui bahwa keponakan dari Bobi adalah Dida dan Dodo

Anak dari Panji

Goal:ayah(panji,Namaanak).

Namaanak=bobi

Namaanak=nina

Dapat diketahui bahwa anak dari Panji adalah Bobi, Nina dan Tino

Mertua dari Sari

Goal:menantu(sari,Namamertua).

Namamertua=panji

Namamertua=nani

Dapat diketahui bahwa mertua dari Sari adalah Panji dan Sari

Keponakan dari Nina

Goal:bibi(nina,Namakeponakan).

Namakeponakan=dida

Namakeponakan=dodo

Dapat diketahui bahwa keponakan dari Nina adalah Dida dan Dodo.

Categories: Uncategorized | Tinggalkan komentar

Navigasi pos

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

Buat situs web atau blog gratis di WordPress.com.

%d blogger menyukai ini: