Category : Miscellaneous Language Source Code
Archive   : TPROLOG.ZIP
Filename : GENI.KB

rule(1,"carnivore","cheetah",[1,2])
rule(2,"carnivore","tiger",[1,3])
rule(3,"ungulate","giraffe",[5,2])
rule(4,"ungulate","zebra",[3])
rule(5,"bird","ostrich",[6,5,7,8])
rule(6,"bird","penguin",[9,10,8])
rule(7,"bird","albatross",[11])
rule(8,"animal","mammal",[12,13])
rule(9,"animal","bird",[9,14])
rule(10,"mammal","carnivore",[15])
rule(11,"mammal","ungulate",[16])
cond(1,"it has tawny color",100)
cond(2,"it has dark spots",100)
cond(3,"it has black stripes",100)
cond(4,"it has long neck",100)
cond(5,"it has long legs",100)
cond(6,"it does fly",100)
cond(7,"it has a long neck",100)
cond(8,"it has a black and white color",100)
cond(9,"it has feathers",100)
cond(10,"it swims",100)
cond(11,"it does fly well",100)
cond(12,"it has hair",100)
cond(13,"it does give milk",100)
cond(14,"it lays eggs",100)
cond(15,"it eats meat",100)
cond(16,"it does chew cud",100)
condq(1,"Is it true that")
condq(2,"Is it true that")
condq(3,"Is it true that")
condq(4,"Is it true that")
condq(5,"Is it true that")
condq(6,"Is it true that")
condq(7,"Is it true that")
condq(8,"Is it true that")
condq(9,"Is it true that")
condq(10,"Is it true that")
condq(11,"Is it true that")
condq(12,"Is it true that")
condq(13,"Is it true that")
condq(14,"Is it true that")
condq(15,"Is it true that")
condq(16,"Is it true that")
cond_ans(1,["WHY","YES","NO"])
cond_ans(2,["WHY","YES","NO"])
cond_ans(3,["WHY","YES","NO"])
cond_ans(4,["WHY","YES","NO"])
cond_ans(5,["WHY","YES","NO"])
cond_ans(6,["WHY","YES","NO"])
cond_ans(7,["WHY","YES","NO"])
cond_ans(8,["WHY","YES","NO"])
cond_ans(9,["WHY","YES","NO"])
cond_ans(10,["WHY","YES","NO"])
cond_ans(11,["WHY","YES","NO"])
cond_ans(12,["WHY","YES","NO"])
cond_ans(13,["WHY","YES","NO"])
cond_ans(14,["WHY","YES","NO"])
cond_ans(15,["WHY","YES","NO"])
cond_ans(16,["WHY","YES","NO"])
vaild_ans(1,[1,2],["YES","YES"])
vaild_ans(2,[1,3],["YES","YES"])
vaild_ans(3,[5,2],["YES","YES"])
vaild_ans(4,[3],["YES"])
vaild_ans(5,[6,5,7,8],["YES","YES","YES","YES"])
vaild_ans(6,[9,10,8],["YES","YES","YES"])
vaild_ans(7,[11],["YES"])
vaild_ans(8,[12,13],["YES","YES"])
vaild_ans(9,[9,14],["YES","YES"])
vaild_ans(10,[15],["YES"])
vaild_ans(11,[16],["YES"])
data_file("geni.dba")
topic("animal")