:-eval(consult('ContractLog/owl.prova')).

% translate and include OWL Facts
:-eval(assertOWL(
			"",								% no reasoner
			"dlp_standard",  				% DLP standard converter
			"examples/function_tests/owl/testdata/WineProjectOWL.owl")). % input file


:-solve(default_Red_Wine(default_Chianti)).
:-solve(type(default_ChiChi,default_Wine)).
:-solve(default_Color("default_Chianti","Red")).
:-solve(default_Color("default_ChiChi","Red")).



