test_rf_syn_in_s.dat

这是个源码合集

animal_is(cheetah):-it_is(mammal),it_is(carnivore),positive(has,tawny_color),positive(has,black_spots).
animal_is(tiger):-it_is(mammal),it_is(carnivore),positive(has,tawny_color),positive(has,black_stripes).
animal_is(giraffe):-it_is(ungulate),positive(has,long_neck),positive(has,long_legs),positive(has,dark_spots).
animal_is(zebra):-it_is(ungulate),positive(has,black_stripes).
animal_is(ostrich):-it_is(bird),negative(does,fly),positive(has,long_neck),positive(has,long_legs),positive(has,black_and_white_color).
animal_is(penguin):-it_is(bird),positive(does,swim),positive(has,black_and_white_color).
animal_is(albatross):-it_is(bird),positive(does,fly_well).
it_is(mammal):-positive(has,hair).
it_is(mammal):-positive(does,give_milk).
it_is(bird):-positive(has,feathers).
it_is(bird):-positive(does,fly),positive(does,lay_eggs).
it_is(carnivore):-positive(does,eat_meat).
it_is(carnivore):-positive(has,pointed_teeth),positive(has,claws),positive(has,forward_eyes).
it_is(ungulate):-it_is(mammal),positive(has,hooves).
it_is(ungulate):-it_is(mammal),positive(does,chew_cud).