file12.pro

这是一个小型专家系统

order(mammal):-have(milk);have(hair).
aves(bird):-have(feather).
aves(bird):-can(fly),to(produce_egg).
genus(carnivore):-have(claw),have(cuspid),stare(frontage).
genus(carnivore):-order(mammal),eat(meat).
genus(ungulate_animal):-order(mammal),have(hoof).
animal(artiodacty):-genus(ungulate_animal),ruminate(food).  
animal(tiger):-genus(carnivore),color(filemot),have(black_stripe).
animal(leopard):-genus(carnivore),color(filemot),have(black_macula).
animal(giraffe):-genus(ungulate_animal),leg(long),neck(long),color(filemot),have(dark_macula).
animal(zebra):-genus(ungulate_animal),color(white),have(black_stripe).
animal(struthio):-aves(bird),can(not_fly),leg(long),neck(long),color(black_white).
animal(penguin):-aves(bird),can(not_fly),can(swim),color(black_white).
animal(salangane):-aves(bird),can(fly),unafraid(stormy_waves).

have(milk).
have(hair).
eat(meat).
stare(frontage).
have(feather).
have(hoof).
color(filemot).
have(black_stripe).