%Model systemu do wykrywania usterek w aucie

varda_model_desc :- write('').

varda_model_auto :-
	ard_att_add('Automotive system'),
	ard_property_add(['Automotive system']),

	ard_att_add('Car state'),
	ard_att_add('Advice'),
	ard_finalize(['Automotive system'],['Car state','Advice']),

	ard_split(['Car state','Advice'], [['Car state'],['Advice']], 
		[[['Car state'],['Advice']]]),

	ard_att_add('Engine state'),
	ard_att_add('Battery state'),
	ard_att_add('Gas level'),
	ard_finalize(['Car state'], ['Engine state','Battery state','Gas level']),

	ard_split(['Engine state','Battery state','Gas level'], [['Engine state'],['Battery state'],['Gas level']],
		[[['Engine state'],['Advice']],[['Battery state'],['Advice']],[['Gas level'],['Advice']]]),

	ard_att_add(working),
	ard_att_add(rotation),
	ard_att_add(spark),
	ard_att_add(sluggish),
	ard_att_add(misfire),
	ard_att_add(knocking),
	ard_att_add(surface),
	ard_att_add(conductivity),
	ard_att_add(symptom),
	ard_finalize(['Engine state'], [working,rotation,spark,sluggish,misfire,knocking,surface,conductivity,symptom]),

ard_split([working,rotation,spark,sluggish,misfire,knocking,surface,conductivity,symptom],
	[[working],[rotation],[spark],[sluggish],[misfire],[knocking],[surface],[conductivity],[symptom]],
	[[[working],[spark]],[[rotation],[spark]],[[misfire],[spark]],
	[[working],['Advice']],[[rotation],['Advice']],[[spark],['Advice']],[[sluggish],['Advice']],[[misfire],['Advice']],
	[[knocking],['Advice']],[[surface],['Advice']],[[conductivity],['Advice']],[[symptom],['Advice']]]),

	ard_att_add(repair),
	ard_finalize(['Advice'],[repair]),

	ard_att_add(battery),
	ard_finalize(['Battery state'],[battery]),

	ard_att_add(gaslevel),
	ard_finalize(['Gas level'],[gaslevel]).

			

:- varda_model_auto.