📄 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).
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -