i. This expert system identifies whether an ...

Prompt

i. This expert system identifies whether an object is a bird, mammal, fish, reptile, or amphibian using several facts and rules. 5.4 Rule-Based Expert System for Animal Classification First-Order Predicate Logic (FOPL) 1. For all x, HasHair(x) or GivesMilk(x) implies Mammal(x). 2. For all x, HasFeathers(x) and LaysEggs(x) implies Bird(x). 3. For all x, HasFins(x) and LivesInWater(x) implies Fish(x). 4. For all x, HasScales(x) and IsColdBlooded(x) implies Reptile(x). 5. For all x, HasMoistSkin(x) and LivesOnLandAndWater(x) implies Amphibian(x). Prolog Program % Observable facts has_hair(dog). gives_milk(cow). has_feathers(eagle). lays_eggs(eagle). has_fins(rohu). lives_in_water(rohu). has_scales(snake). cold_blooded(snake). has_moist_skin(frog). lives_on_land_and_water(frog). % Classification rules mammal(X) :- has_hair(X). mammal(X) :- gives_milk(X). bird(X) :- has_feathers(X), lays_eggs(X). fish(X) :- has_fins(X), lives_in_water(X). reptile(X) :- has_scales(X), cold_blooded(X). amphibian(X) :- has_moist_skin(X), lives_on_land_and_water(X). % General classification rule animal_type(X, mammal) :- mammal(X). animal_type(X, bird) :- bird(X). animal_type(X, fish) :- fish(X). animal_type(X, reptile) :- reptile(X). animal_type(X, amphibian) :- amphibian(X). % Sample queries % ?- animal_type(dog, Type). % ?- animal_type(eagle, Type). % ?- animal_type(rohu, Type). % ?- animal_type(snake, Type). % ?- animal_type(frog, Type). output: >..... take a look at this practical. is this good? i want you to format it so i can write it properly in a4 and paste the output in it. also i think its too long.