Fakta dan Aturan
|
Prolog
|
Fakta :
Sulistiah adalah ibu dari Toman
Fakta : Toman
adalah bapak dari Dzaky
Fakta : Toman
adalah bapak dari Alwan
Fakta :
Sulistiah adalah nenek dari Dzaky
Fakta :
Sulistiah adalah nenek dari Alwan
Aturan :
Sulistiah adalah benar nenek Dzaky jika Sulistiah benar adalah ibu Toman dan
Toman adalah benar bapak Dzaky
Aturan :
Sulistiah adalah benar nenek Alwan jika Sulistiah benar adalah ibu Toman dan
Toman adalah benar bapak Alwan
|
Ibu
(Sulistiah,Toman)
Bapak (Toman,
Dzaky)
Bapak (Toman,
Alwan)
Nenek
(Sulistiah, Dzaky)
Nenek
(Sulistiah, Alwan)
Nenek
(Sulistiah, Dzaky) :- Ibu(Sulistiah,
Toman)
and Bapak(Toman, Dzaky)
Nenek
(Sulistiah, Alwan) :- Ibu(Sulistiah,
Toman)
and Bapak(Toman, Alwan)
|
Fakta :
Sulistiah adalah ibu dari Chandra
Fakta :
Chandra adalah ibu dari Bhadali
Fakta :
Chandra adalah ibu dari Zaenab
Fakta : Sulistiah
adalah nenek dari Bhadali
Fakta :
Sulistiah adalah nenek dari Zaenab
Aturan :
Sulistiah adalah benar nenek Bhadali jika Sulistiah benar adalah ibu Chandra
dan Chandra adalah benar Ibu Bhadali
Aturan :
Sulistiah adalah benar nenek Zaenab jika Sulistiah benar adalah ibu Chandra
dan Chandra adalah benar Ibu Zaenab
|
Ibu
(Sulistiah,Chandra)
Ibu (Chandra,
Bhadali)
Ibu (Chandra,
Zaenab)
Nenek
(Sulistiah, Bhadali)
Nenek
(Sulistiah, Zaenab)
Nenek
(Sulistiah, Bhadali) :- Ibu(Sulistiah,
Chandra)
and Ibu(Chandra, Bhadali)
Nenek
(Sulistiah, Zaenab) :- Ibu(Sulistiah,
Chandra)
and Ibu(Chandra, Zaenab)
|
Fakta :
Sulistiah adalah ibu dari Lenti
Fakta : Lenti
adalah Ibu dari Sarah
Fakta :
Sulistiah adalah nenek dari Sarah
Aturan :
Sulistiah adalah benar nenek Sarah jika Sulistiah benar adalah ibu Lenti dan
Lenti adalah benar Ibu Sarah
|
Ibu
(Sulistiah,Lenti)
Ibu (Lenti, Sarah)
Nenek
(Sulistiah, Sarah)
Nenek
(Sulistiah, Sarah) :- Ibu(Sulistiah,
Lenti)
and Ibu(Lenti, Sarah)
|
Fakta : Toman
adalah Kakak Lenti
Fakta :
Sulistiah adalah ibu dari Toman
Fakta :
Sulistiah adalah ibu dari Lenti
Aturan : Toman
adalah benar Kakak Lenti jika Sulistiah adalah benar ibu Toman dan Sulistiah
adalah benar ibu Lenti
|
Kakak(Toman,Lenti)
Ibu(Sulistiah,Toman)
Ibu(Sulistiah,Lenti)
Kakak(Toman,
Lenti) :- Ibu(Sulistiah,Toman) and Ibu(Sulistiah, Lenti)
|
Fakta : Toman
adalah Kakak Chandra
Fakta :
Sulistiah adalah ibu dari Toman
Fakta :
Sulistiah adalah ibu dari Chandra
Aturan : Toman
adalah benar Kakak Chandra jika Sulistiah adalah benar ibu Toman dan
Sulistiah adalah benar ibu Chandra
|
Kakak(Toman,Chandra)
Ibu(Sulistiah,Toman)
Ibu(Sulistiah,Chandra)
Kakak(Toman, Chandra)
:- Ibu(Sulistiah,Toman) and Ibu(Sulistiah, Chandra)
|
3. Pertanyaan
Siapakah Ibu
Toman ?
Siapakah Ibu
Lenti ?
Siapakah ibu
Chandra?
|
?- Ibu (Siapa,
Toman)
Siapa =
Sulistiah
?- Ibu (Siapa,
Lenti)
Siapa =
Sulistiah
?- Ibu (Siapa,
Chandra)
Siapa =
Sulistiah
|
Siapakah Cucu
Sulistiah ?
|
?- Nenek
(Sulistiah, Cucu)
Cucu = Dzaky;
Cucu = Alwan;
Cucu = Sarah;
Cucu =
Bhadali;
Cucu = Zaenab
|
Siapakah anak
Toman ?
|
?- Bapak
(Toman, Anak)
Anak = Dzaky;
Anak = Alwan
|
Siapakah anak
Lenti ?
|
?- Ibu (Lenti,
Anak)
Anak = Sarah
|
Siapakah anak
Chandra ?
|
?- Ibu
(Chandra, Anak)
Anak =
Bhadali;
Anak = Zaenab
|