%System rozpoznający garunek zwierzęcia na podstawie odpowiedzi
%na podstawie jego cech

varda_model_desc :- write('').

varda_model_anim :-
	ard_att_add('Animal Identification System'),
	ard_property_add(['Animal Identification System']),
	
	ard_att_add('Animal''s characteristics'),
	ard_att_add('Animal''s type'),
	ard_finalize(['Animal Identification System'],['Animal''s characteristics','Animal''s type']),

	ard_split(['Animal''s characteristics','Animal''s type'],
		[['Animal''s characteristics'],['Animal''s type']],
		[[['Animal''s characteristics'],['Animal''s type']]]),
	
	ard_att_add('Classes'),
	ard_att_add('Direct characteristics'),
	ard_finalize(['Animal''s characteristics'],['Classes','Direct characteristics']),

	ard_split(['Classes','Direct characteristics'],
		[['Classes'],['Direct characteristics']],
		[[['Direct characteristics'],['Classes']],
		[['Classes'],['Animal''s type']],
		[['Direct characteristics'],['Animal''s type']]]),	

	ard_att_add('Superhylum'),
	ard_att_add('Phylum'),
	ard_att_add('Class'),
	ard_att_add('Order'),
	ard_att_add('Family'),
	ard_att_add('Genus'),
	ard_att_add('Species'),
	ard_att_add('Subspecies'),
	ard_att_add('Subsubspecies'),
	ard_finalize(['Classes'],
		['Superhylum','Phylum','Class','Order','Family',
		'Genus','Species','Subspecies','Subsubspecies']),

	ard_split(['Superhylum','Phylum','Class','Order','Family',
			'Genus','Species','Subspecies','Subsubspecies'],
		[['Superhylum'],['Phylum'],['Class'],['Order'],['Family'],
			['Genus'],['Species'],['Subspecies'],['Subsubspecies']],
		[[['Direct characteristics'],['Superhylum']],
		[['Direct characteristics'],['Phylum']],
		[['Direct characteristics'],['Class']],
		[['Direct characteristics'],['Order']],
		[['Direct characteristics'],['Family']],
		[['Direct characteristics'],['Genus']],
		[['Direct characteristics'],['Species']],
		[['Direct characteristics'],['Subspecies']],
		[['Direct characteristics'],['Subsubspecies']],
		[['Phylum'],['Animal''s type']],
		[['Class'],['Animal''s type']],
		[['Order'],['Animal''s type']],
		[['Family'],['Animal''s type']],
		[['Genus'],['Animal''s type']],
		[['Species'],['Animal''s type']],
		[['Subspecies'],['Animal''s type']],
		[['Subsubspecies'],['Animal''s type']],
		[['Superhylum'],['Phylum']],
		[['Phylum'],['Class']],
		[['Class'],['Order']],
		[['Order'],['Family']],
		[['Family'],['Genus']],
		[['Genus'],['Species']],
		[['Species'],['Subspecies']],
		[['Subspecies'],['Subsubspecies']]]),

	ard_att_add(backbone),
	ard_att_add(warmBlooded),
	ard_att_add(livePrimeInSoil),
	ard_att_add(hasBreasts),
	ard_att_add(alwaysInWater),
	ard_att_add(flatBodied),
	ard_att_add(bodyInSegments),
	ard_att_add(canItMeat),
	ard_att_add(boney),
	ard_att_add(scally),
	ard_att_add(shell),
	ard_att_add(digestCells),
	ard_att_add(fly),
	ard_att_add(hooves),
	ard_att_add(roundedShell),
	ard_att_add(jump),
	ard_att_add(tail),
	ard_att_add(stationary),
	ard_att_add(multicelled),
	ard_att_add(opposingThumb),
	ard_att_add(twoToes),
	ard_att_add(liveInWater),
	ard_att_add(limbs),
	ard_att_add(spikes),
	ard_att_add(spiralShell),
	ard_att_add(prehensileTail),
	ard_att_add(over400),
	ard_att_add(horns),
	ard_att_add(plating),
	ard_att_add(hunted),
	ard_att_add(frontTeeth),
	ard_att_add(bivalve),
	ard_att_add(nearlyHairless),
	ard_att_add(landBased),
	ard_att_add(thintail),
	ard_att_add(oneHorn),
	ard_att_add(livesInDesert),
	ard_att_add(largeEars),
	ard_att_add(pouch),
	ard_att_add(longPowerfullArms),
	ard_att_add(fleece),
	ard_att_add(domesticated),
	ard_finalize(['Direct characteristics'],
		[backbone,warmBlooded,livePrimeInSoil,hasBreasts,alwaysInWater,
		flatBodied,bodyInSegments,canItMeat,boney,scally,shell,digestCells,
		fly,hooves,roundedShell,jump,tail,stationary,multicelled,opposingThumb,
		twoToes,liveInWater,limbs,spikes,spiralShell,prehensileTail,over400,
		horns,plating,hunted,frontTeeth,bivalve,nearlyHairless,landBased,
		thintail,oneHorn,livesInDesert,largeEars,pouch,longPowerfullArms,
		fleece,domesticated]),

	ard_att_add(type),
	ard_finalize(['Animal''s type'],[type]),

	ard_split([backbone,warmBlooded,livePrimeInSoil,hasBreasts,alwaysInWater,
		flatBodied,bodyInSegments,canItMeat,boney,scally,shell,digestCells,
		fly,hooves,roundedShell,jump,tail,stationary,multicelled,opposingThumb,
		twoToes,liveInWater,limbs,spikes,spiralShell,prehensileTail,over400,
		horns,plating,hunted,frontTeeth,bivalve,nearlyHairless,landBased,
		thintail,oneHorn,livesInDesert,largeEars,pouch,longPowerfullArms,
		fleece,domesticated],
		[[backbone],[warmBlooded],[livePrimeInSoil],[hasBreasts],[alwaysInWater],
		[flatBodied],[bodyInSegments],[canItMeat],[boney],[scally],[shell],[digestCells],
		[fly],[hooves],[roundedShell],[jump],[tail],[stationary],[multicelled],[opposingThumb],
		[twoToes],[liveInWater],[limbs],[spikes],[spiralShell],[prehensileTail],[over400],
		[horns],[plating],[hunted],[frontTeeth],[bivalve],[nearlyHairless],[landBased],
		[thintail],[oneHorn],[livesInDesert],[largeEars],[pouch],[longPowerfullArms],
		[fleece],[domesticated]],
		[[[backbone],['Superhylum']],
		[[warmBlooded],['Phylum']],[[livePrimeInSoil],['Phylum']],
		[[hasBreasts],['Class']],[[alwaysInWater],['Class']],[[bodyInSegments],['Class']],
		[[canItMeat],['Order']],[[scally],['Order']],[[shell],['Order']],[[digestCells],['Order']],
		[[fly],['Family']],[[hooves],['Family']],[[roundedShell],['Family']],
			[[stationary],['Family']],[[multicelled],['Family']],
		[[opposingThumb],['Genus']],[[twoToes],['Genus']],[[liveInWater],['Genus']],
			[[spiralShell],['Genus']],
		[[prehensileTail],['Species']],[[over400],['Species']],[[horns],['Species']],
			[[frontTeeth],['Species']],
		[[nearlyHairless],['Subspecies']],[[oneHorn],['Subspecies']],
		[[fleece],['Subsubspecies']],
		[[hasBreasts],[type]],[[flatBodied],[type]],[[boney],[type]],[[shell],[type]],
			[[fly],[type]],[[roundedShell],[type]],[[jump],[type]],[[tail],[type]],
			[[stationary],[type]],[[multicelled],[type]],[[limbs],[type]],[[spikes],[type]],
			[[spiralShell],[type]],[[prehensileTail],[type]],[[plating],[type]],[[hunted],[type]],
			[[bivalve],[type]],[[nearlyHairless],[type]],[[landBased],[type]],[[thintail],[type]],
			[[oneHorn],[type]],[[livesInDesert],[type]],[[largeEars],[type]],[[pouch],[type]],
			[[longPowerfullArms],[type]],[[fleece],[type]],[[domesticated],[type]]]).

:- varda_model_anim.