TUGAS KECERDASAN BUATAN

Penalaran Dengan Prolog

OLEH :
Jody Pratama Ardi J1F110008
Aldi Pratama Putra J1F111040
Fhadilla Muhammad J1F111226
Retno Lintangsari J1F111250




KEMENTERIAN PENDIDIKAN DAN KEBUDAYAAN
UNIVERSITAS LAMBUNG MANGKURAT
FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM
PROGRAM STUDI S1 ILMU KOMPUTER
BANJARBARU
2014
Kecerdasan Buatan
Penalaran dengan PROLOG
I. Kamen Rider Era Heisei
II. Deskripsi
Kamen Rider adalah cerita mengenai super hero produksi TOEI (perusahaan
film yang bergerak dibidang super hero) yang berasal dari Jepang. Kamen berarti
topeng, dan Rider berarti pengendara. Jadi secara umum Kamen Rider adalah
pengendara bertopeng. Secara khususnya, Kamen Rider adalah seseorang yang
memiliki kekuatan untuk merubah dirinya menjadi super hero dan memiliki kekuatan
luar biasa.
Kamen Rider sendiri terbagi atas 2 (dua) era yaitu Showa dan Heisei, dalam
kasus ini akan dibahas tentang Kamen Rider dari era Heisei yang dimulai sejak tahun
2000-an. Tercatat sekitar 15 serial Kamen Rider era Heisei telah dirilis. Rider-rider
yang rilis tersebut antara lain Kuuga, Agito, Ryuki, Faiz (555), Blade, Hibiki,
Kabuto, Den-O, Kiva, Decade, W (Double), OOO, Fourze, Wizard, dan Gaim.

Gambar 1 Kamen Rider Heisei
Basis pengetahuan yang digunakan dalam kasus ini diisi berdasarkan nama
sabuk, sumber kekuatan, generasi sebelum rider muncul, siapa orang yang menjadi
rider, apa pekerjaan para rider, nama kendaraan yang ditunggangi, monster yang
dihadapi tiap rider, form yang dimiliki oleh rider beserta jenis senjatanya, jurus
terakhir, dan rider baru yang bertugas membantu rider utama dalam mengalahkan
monster.

III. Daftar Predikat












IV. Basis Pengetahuan
putin(kuuga,amadam).
putin(agito,agito_seed).
putin(ryuki,v_card).
putin(faiz,faizphone).
putin(blade,rouzecard).
putin(hibiki,onihibiku).
putin(kabuto,zecter).
putin(den_o,denpass).
putin(kiva,kivat).
putin(decade,ridercard).
putin(w,gaiamemory).
putin(ooo,core_medal).
No Nama Penjelasan
1 putin(X,Y) Sumber kekuatan rider X adalah Y
2 belt(X,Y) X adalah sabuk dari rider Y
3 orang(X,Y) X adalah perubahan dari Y
4 finalform(X,Y) Form terakhir X adalah Y
5 monster(X,Y) X mempunyai musuh yaitu Y
6 newrider(X,Y) X mempunyai teman baru yaitu Y
7 generasi(X,Y) X merupakan generasi sebelum Y muncul
8 job(X,Y) X bekerja sebagai Y
9 form(X,Y) X memiliki form Y
10 weapon(X,Y) X menggunakan senjata Y
11 mount(X,Y) Nama kendaraan rider X adalah Y
12 finish(X,Y) Jurus terakhir dari sabuk X adalah Y
putin(fourze,astroswitch).
putin(wizard,magicring).
putin(gaim,lockseed).

belt(arclebelt,kuuga).
belt(alter,agito).
belt(v_buckle,ryuki).
belt(faizdriver,faiz).
belt(blaybuckle,blade).
belt(onka,hibiki).
belt(kabutobelt,kabuto).
belt(denbelt,den_o).
belt(kivatbelt,kiva).
belt(decadriver,decade).
belt(doubledriver,w).
belt(ooo_driver,ooo).
belt(fourze_driver,fourze).
belt(wizardriver,wizard).
belt(sengokudriver,gaim).

job(kuuga,'Arkeolog').
job(agito,'Agen Polisi').
job(ryuki,'Jurnalis').
job(faiz,'Pelajar di Sekolah "Smart
Brain"').
job(blade,'Anggota BOARD').
job(hibiki,'Pelaut').
job(kabuto,'Anggota ZECT').
job(den_o,'Pengangguran').
job(kiva,'Pemain Biola').
job(decade,'Fotografer').
job(w,'Detektif').
job(ooo,'Pengembara').
job(fourze,'Pelajar di Sekolah
"Amanogawa"').
job(wizard,'Pembuat Cincin').
job(gaim,'Anggota Tim Gaim').

orang(kuuga,yuusuke).
orang(agito,shouichi).
orang(g3,makoto).
orang(ryuki,kido).
orang(odin,shiro).
orang(faiz,takumi).
orang(kaixa,masato).
orang(blade,kenzaki).
orang(hibiki,hibiki_san).
orang(kabuto,souji).
orang(gatack,arata).
orang(den_o,ryoutarou).
orang(zeronos,yuuto).
orang(kiva,wataru).
orang(ixa,nago).
orang(decade,tsukasa).
orang(diend,kaito).
orang(w,shotaro_phillip).
orang(accel,ryu).
orang(ooo,eiji).
orang(birth,date).
orang(fourze,gentarou).
orang(meteor,ryuusei).
orang(wizard,haruto).
orang(beast,kousuke).
orang(gaim,kouta).
orang(zangetsu,takatora).

finalform(kuuga,ultimate).
finalform(agito,shining).
finalform(ryuki,survive).
finalform(faiz,blaster).
finalform(blade,king).
finalform(hibiki,armed).
finalform(kabuto,hyper).
finalform(den_o,liner).
finalform(kiva,emperor).
finalform(decade,final).
finalform(w,extreme).
finalform(ooo,tajadoru).
finalform(fourze,cosmicstate).
finalform(wizard,infinity).
finalform(gaim,kachidoki).

monster(kuuga,gurongi).
monster(agito,unknown).
monster(ryuki,mirrormonster).
monster(faiz,orphenoch).
monster(blade,undead).
monster(hibiki,makamou).
monster(kabuto,worm).
monster(den_o,imagin).
monster(kiva,fangire).
monster(decade,narutaki).
monster(w,dopant).
monster(ooo,yummy).
monster(fourze,zodiarts).
monster(wizard,phantom).
monster(gaim,inves).

newrider(kuuga,solorider).
newrider(agito,g3).
newrider(ryuki,odin).
newrider(faiz,kaixa).
newrider(blade,leangle).
newrider(hibiki,zanki).
newrider(kabuto,gatack).
newrider(den_o,zeronos).
newrider(kiva,ixa).
newrider(decade,diend).
newrider(w,accel).
newrider(ooo,birth).
newrider(fourze,meteor).
newrider(wizard,beast).
newrider(gaim,zangetsu).

generasi(j,kuuga).
generasi(kuuga,agito).
generasi(agito,ryuki).
generasi(ryuki,faiz).
generasi(faiz,blade).
generasi(blade,hibiki).
generasi(hibiki,kabuto).
generasi(kabuto,den_o).
generasi(den_o,kiva).
generasi(kiva,decade).
generasi(decade,w).
generasi(w,ooo).
generasi(ooo,fourze).
generasi(fourze,wizard).
generasi(wizard,gaim).

form(kuuga,pegasus).
form(kuuga,dragon).
form(kuuga,titan).
form(agito,storm).
form(agito,flame).
form(agito,trinity).
form(g3,g3_x).
form(g3,g4).
form(ryuki,ryuga).
form(faiz,axel).
form(blade,jack).
form(hibiki,kurenai).
form(kabuto,beetle).
form(kabuto,darkkabuto).
form(den_o,swordform).
form(den_o,axeform).
form(den_o,gunform).
form(den_o,wingform).
form(den_o,skullform).
form(den_o,climaxform).
form(kiva,garulu).
form(kiva,basshaa).
form(kiva,dogga).
form(decade,kamenride).
form(decade,gekijouban).
form(w,cyclonejoker).
form(w,heatmetal).
form(w,lunatrigger).
form(ooo,tatoba).
form(ooo,shauta).
form(ooo,sagozo).
form(ooo,gatakiriba).
form(ooo,ratorata).
form(ooo,putotyra).
form(ooo,burakawani).
form(ooo,tamashii).
form(ooo,super_tatoba).
form(fourze,elekstate).
form(fourze,firestate).
form(fourze,magnetstate).
form(fourze,superrocket).
form(wizard,hurricane).
form(wizard,land).
form(wizard,water).
form(gaim,pinearms).
form(gaim,ichigoarms).
form(gaim,suikaarms).
form(gaim,jinbalemon).
form(gaim,jinbacherry).

weapon(pegasus,pega_bowgun).
weapon(dragon,dragonrod).
weapon(titan,titansword).
weapon(storm,halberd).
weapon(flame,saber).
weapon(trinity,fusion).
weapon(ryuga,finalvent).
weapon(axel,axelwatch).
weapon(jack,blayrouzer).
weapon(kurenai,taiko).
weapon(beetle,clockup).
weapon(darkkabuto,dark_clockup).
weapon(swordform,sword).
weapon(axeform,axe).
weapon(gunform,gun).
weapon(wingform,boomerang).
weapon(skullform,whip).
weapon(climaxform,charge_up).
weapon(garulu,beast_sword).
weapon(basshaa,sea_magnum).
weapon(dogga,iron_hammer).
weapon(kamenride,deca_cards).
weapon(gekijouban,rider_summon).
weapon(cyclonejoker,sword).
weapon(heatmetal,rod).
weapon(lunatrigger,rifle).
weapon(tatoba,claws).
weapon(shauta,voltarm_whip).
weapon(sagozo,zou_stomp).
weapon(gatakiriba,batta_kick).
weapon(ratorata,revolspin_kick).
weapon(putotyra,blastFreezer).
weapon(burakawani,warning_ride).
weapon(tamashii,soul_bomb).
weapon(super_tatoba,kick).
weapon(elekstate,elek_rod).
weapon(firestate,hee_hackgun).
weapon(magnetstate,ns_magcannon).
weapon(superrocket,doubleRocket_kic
k).
weapon(hurricane,hurricaneKick).
weapon(land,landKick).
weapon(water,waterKick).
weapon(pinearms,pine_iron).
weapon(ichigoarms,kunai).
weapon(suikaarms,sojinto).
weapon(jinbalemon,lemonBow).
weapon(jinbacherry,cherryBow).

mount(kuuga,'Gouram').
mount(agito,'Tornador').
mount(ryuki,'Dragreder').
mount(faiz,'Auto Vajin').
mount(blade,'Spader').
mount(hibiki,'Gaika').
mount(kabuto,'Extender').
mount(den_o,'Denbird').
mount(kiva,'Machine Kiva').
mount(decade,'Machine Decader').
mount(w,'Hardboilder').
mount(ooo,'Ride Vender').
mount(fourze,'Massigier').
mount(wizard,'Winger').
mount(gaim,'Lock Vehicle').

finish(arclebelt,'Kuuga Kick').
finish(alter,'Tornador Break').
finish(v_buckle,'Final Vent').
finish(faizdriver,'Exceed Charge').
finish(blaybuckle,'Rider Slash').
finish(onke,'Ongeki').
finish(kabutobelt,'Maximum Rider
Power').
finish(denbelt,'Full Charge').
finish(kivatbelt,'Wake Up Fever').
finish(decadriver,'Final Attack Ride').
finish(doubledriver,'Maximum Drive').
finish(ooo_driver,'Scanning Charge').
finish(fourze_driver,'Limit Break').
finish(wizardriver,'Chou i ne! Strike,
Saikou! ').
finish(sengokudriver,'Fruit Squash').
V. Aturan
No. Nama Aturan Penjelasan dan Contoh Eksekusi
1. defeat(X,Y) :-
monster(A,X),finalform(A,Y).
Tujuan: Menentukan monster X dapat
dikalahkan oleh finalform Y
Strategi: jika musuh X sama dengan Finalform Y
maka jadi musuh
Sintaks:
- monster(A,X),finalform(A,Y).
Contoh eksekusi:

2. henshin(X,A,B) Tujuan: Menentukan Orang X,A dapat berubah
dengan menggunakan Sabuk B
Strategi: jika form X sama dengan Orang A dan
sabuk B maka bisa berubah
Sintaks:
- orang(X,A),belt(B,X).Contoh eksekusi:

3. crossover(X,Y,Z) Tujuan: Menentukan generasi Z adalah generasi
dari X,Y
Strategi: Jika generasi X maka generasi
berikutnya adalah Y,Z
Sintaks:
- generasi(X,Y),generasi(Y,Z).
Contoh eksekusi:


4. changeform(X,Y) Tujuan: Menentukan Perubahan Y dengan Sabuk
X
Strategi: jika sabuk X dan form Y maka bias
changeform
Sintaks:
- belt(X,A),form(A,Y).
Cont
oh
eksek
usi:


5. formattack(D,Y,E) Tujuan: Menentukan formasi serangan dengan
Form D dan Weapon E
Strategi: jika form sama dengan D dan weapon
Sama dengan E maka bisa menggunakan
formatattack
Sintaks:
- form(D,Y), weapon(Y,E).
Contoh eksekusi:

6. suit(X,Y) Tujuan: Menentukan perubahan dengan sabuk X
dan Putin Y
Strategi: Jika sabuk X cocok dengan Putin Y
maka bisa suit
Sintaks:
- belt(X,A),putin(A,Y).
Contoh eksekusi:

7 newcomer(A,B) Tujuan: Menentukan pendatang baru dengan
newrider A dan Orang B
Strategi: jika newrider A sama dengan orang B
maka bisa tahu newcomer
Sintaks:
- newrider(A,X),orang(X,B).
Contoh eksekusi:

8. ride(X,Y) Tujuan: Mengetahui kendaraan yang dinaiki oleh
Orang X dan Mount Y
Strategi: jika orang X sama dengan Mount Y
maka Ride
Sintaks:
- orang(A,X),mount(A,Y).
Contoh eksekusi:

9. Hissatsu(A,B) Tujuan: Menentukan jurus pamungkas dengan
belt A dan finish B
Strategi: jika belt A sama dengan finish B maka
Hissatsu
Sintaks:
- belt(X,A),finish(X,B).
Contoh eksekusi:

10. Workas (X,Y) Tujuan: Menentukan pekerjaan Asli dengan
Orang X dan mengetahui Job Y
Strategi: jika orang X sama dengan Job Y maka
Workas
Sintaks:
- orang(A,X),job(A,Y).
Contoh eksekusi:


VI. Program Listing

putin(kuuga,amadam).
putin(agito,agito_seed).
putin(ryuki,v_card).
putin(faiz,faizphone).
putin(blade,rouzecard).
putin(hibiki,onihibiku).
putin(kabuto,zecter).
putin(den_o,denpass).
putin(kiva,kivat).
putin(decade,ridercard).
putin(w,gaiamemory).
putin(ooo,core_medal).
putin(fourze,astroswitch).
putin(wizard,magicring).
putin(gaim,lockseed).

belt(arclebelt,kuuga).
belt(alter,agito).
belt(v_buckle,ryuki).
belt(faizdriver,faiz).
belt(blaybuckle,blade).
belt(onka,hibiki).
belt(kabutobelt,kabuto).
belt(denbelt,den_o).
belt(kivatbelt,kiva).
belt(decadriver,decade).
belt(doubledriver,w).
belt(ooo_driver,ooo).
belt(fourze_driver,fourze).
belt(wizardriver,wizard).
belt(sengokudriver,gaim).

job(kuuga,'Arkeolog').
job(agito,'Agen Polisi').
job(ryuki,'Jurnalis').
job(faiz,'Pelajar di Sekolah "Smart Brain"').
job(blade,'Anggota BOARD').
job(hibiki,'Pelaut').
job(kabuto,'Anggota ZECT').
job(den_o,'Pengangguran').
job(kiva,'Pemain Biola').
job(decade,'Fotografer').
job(w,'Detektif').
job(ooo,'Pengembara').
job(fourze,'Pelajar di Sekolah "Amanogawa"').
job(wizard,'Pembuat Cincin').
job(gaim,'Anggota Tim Gaim').

orang(kuuga,yuusuke).
orang(agito,shouichi).
orang(g3,makoto).
orang(ryuki,kido).
orang(odin,shiro).
orang(faiz,takumi).
orang(kaixa,masato).
orang(blade,kenzaki).
orang(hibiki,hibiki_san).
orang(kabuto,souji).
orang(gatack,arata).
orang(den_o,ryoutarou).
orang(zeronos,yuuto).
orang(kiva,wataru).
orang(ixa,nago).
orang(decade,tsukasa).
orang(diend,kaito).
orang(w,shotaro_phillip).
orang(accel,ryu).
orang(ooo,eiji).
orang(birth,date).
orang(fourze,gentarou).
orang(meteor,ryuusei).
orang(wizard,haruto).
orang(beast,kousuke).
orang(gaim,kouta).
orang(zangetsu,takatora).

finalform(kuuga,ultimate).
finalform(agito,shining).
finalform(ryuki,survive).
finalform(faiz,blaster).
finalform(blade,king).
finalform(hibiki,armed).
finalform(kabuto,hyper).
finalform(den_o,liner).
finalform(kiva,emperor).
finalform(decade,final).
finalform(w,extreme).
finalform(ooo,tajadoru).
finalform(fourze,cosmicstate).
finalform(wizard,infinity).
finalform(gaim,kachidoki).

monster(kuuga,gurongi).
monster(agito,unknown).
monster(ryuki,mirrormonster).
monster(faiz,orphenoch).
monster(blade,undead).
monster(hibiki,makamou).
monster(kabuto,worm).
monster(den_o,imagin).
monster(kiva,fangire).
monster(decade,narutaki).
monster(w,dopant).
monster(ooo,yummy).
monster(fourze,zodiarts).
monster(wizard,phantom).
monster(gaim,inves).

newrider(kuuga,solorider).
newrider(agito,g3).
newrider(ryuki,odin).
newrider(faiz,kaixa).
newrider(blade,leangle).
newrider(hibiki,zanki).
newrider(kabuto,gatack).
newrider(den_o,zeronos).
newrider(kiva,ixa).
newrider(decade,diend).
newrider(w,accel).
newrider(ooo,birth).
newrider(fourze,meteor).
newrider(wizard,beast).
newrider(gaim,zangetsu).

generasi(j,kuuga).
generasi(kuuga,agito).
generasi(agito,ryuki).
generasi(ryuki,faiz).
generasi(faiz,blade).
generasi(blade,hibiki).
generasi(hibiki,kabuto).
generasi(kabuto,den_o).
generasi(den_o,kiva).
generasi(kiva,decade).
generasi(decade,w).
generasi(w,ooo).
generasi(ooo,fourze).
generasi(fourze,wizard).
generasi(wizard,gaim).

form(kuuga,pegasus).
form(kuuga,dragon).
form(kuuga,titan).
form(agito,storm).
form(agito,flame).
form(agito,trinity).
form(g3,g3_x).
form(g3,g4).
form(ryuki,ryuga).
form(faiz,axel).
form(blade,jack).
form(hibiki,kurenai).
form(kabuto,beetle).
form(kabuto,darkkabuto).
form(den_o,swordform).
form(den_o,axeform).
form(den_o,gunform).
form(den_o,wingform).
form(den_o,skullform).
form(den_o,climaxform).
form(kiva,garulu).
form(kiva,basshaa).
form(kiva,dogga).
form(decade,kamenride).
form(decade,gekijouban).
form(w,cyclonejoker).
form(w,heatmetal).
form(w,lunatrigger).
form(ooo,tatoba).
form(ooo,shauta).
form(ooo,sagozo).
form(ooo,gatakiriba).
form(ooo,ratorata).
form(ooo,putotyra).
form(ooo,burakawani).
form(ooo,tamashii).
form(ooo,super_tatoba).
form(fourze,elekstate).
form(fourze,firestate).
form(fourze,magnetstate).
form(fourze,superrocket).
form(wizard,hurricane).
form(wizard,land).
form(wizard,water).
form(gaim,pinearms).
form(gaim,ichigoarms).
form(gaim,suikaarms).
form(gaim,jinbalemon).
form(gaim,jinbacherry).

weapon(pegasus,pega_bowgun).
weapon(dragon,dragonrod).
weapon(titan,titansword).
weapon(storm,halberd).
weapon(flame,saber).
weapon(trinity,fusion).
weapon(ryuga,finalvent).
weapon(axel,axelwatch).
weapon(jack,blayrouzer).
weapon(kurenai,taiko).
weapon(beetle,clockup).
weapon(darkkabuto,dark_clockup).
weapon(swordform,sword).
weapon(axeform,axe).
weapon(gunform,gun).
weapon(wingform,boomerang).
weapon(skullform,whip).
weapon(climaxform,charge_up).
weapon(garulu,beast_sword).
weapon(basshaa,sea_magnum).
weapon(dogga,iron_hammer).
weapon(kamenride,deca_cards).
weapon(gekijouban,rider_summon).
weapon(cyclonejoker,sword).
weapon(heatmetal,rod).
weapon(lunatrigger,rifle).
weapon(tatoba,claws).
weapon(shauta,voltarm_whip).
weapon(sagozo,zou_stomp).
weapon(gatakiriba,batta_kick).
weapon(ratorata,revolspin_kick).
weapon(putotyra,blastFreezer).
weapon(burakawani,warning_ride).
weapon(tamashii,soul_bomb).
weapon(super_tatoba,kick).
weapon(elekstate,elek_rod).
weapon(firestate,hee_hackgun).
weapon(magnetstate,ns_magcannon).
weapon(superrocket,doubleRocket_kick).
weapon(hurricane,hurricaneKick).
weapon(land,landKick).
weapon(water,waterKick).
weapon(pinearms,pine_iron).
weapon(ichigoarms,kunai).
weapon(suikaarms,sojinto).
weapon(jinbalemon,lemonBow).
weapon(jinbacherry,cherryBow).

mount(kuuga,'Gouram').
mount(agito,'Tornador').
mount(ryuki,'Dragreder').
mount(faiz,'Auto Vajin').
mount(blade,'Spader').
mount(hibiki,'Gaika').
mount(kabuto,'Extender').
mount(den_o,'Denbird').
mount(kiva,'Machine Kiva').
mount(decade,'Machine Decader').
mount(w,'Hardboilder').
mount(ooo,'Ride Vender').
mount(fourze,'Massigier').
mount(wizard,'Winger').
mount(gaim,'Lock Vehicle').

finish(arclebelt,'Kuuga Kick').
finish(alter,'Tornador Break').
finish(v_buckle,'Final Vent').
finish(faizdriver,'Exceed Charge').
finish(blaybuckle,'Rider Slash').
finish(onke,'Ongeki').
finish(kabutobelt,'Maximum Rider Power').
finish(denbelt,'Full Charge').
finish(kivatbelt,'Wake Up Fever').
finish(decadriver,'Final Attack Ride').
finish(doubledriver,'Maximum Drive').
finish(ooo_driver,'Scanning Charge').
finish(fourze_driver,'Limit Break').
finish(wizardriver,'Chou i ne! Strike, Saikou! ').
finish(sengokudriver,'Fruit Squash').

defeat(X,Y) :- monster(A,X),finalform(A,Y).
henshin(X,A,B) :- orang(X,A),belt(B,X).
crossover(X,Y,Z) :- generasi(X,Y),generasi(Y,Z).
changeform(X,Y):- belt(X,A),form(A,Y).
formattack(D,Y,E):- form(D,Y), weapon(Y,E).
suit(X,Y):- belt(X,A),putin(A,Y).
newcomer(A,B):- newrider(A,X),orang(X,B).
ride(X,Y):- orang(A,X),mount(A,Y).
hissatsu(A,B):- belt(X,A),finish(X,B).
workas(X,Y):- orang(A,X),job(A,Y).