:- dynamic ard_att/1. ard_att('Thermostat'). ard_att('Time'). ard_att('Temperature'). ard_att('Date'). ard_att('Hour'). ard_att(season). ard_att(operation). ard_att(thermostat_settings). ard_att(day). ard_att(month). ard_att(today). ard_att(hour). :- dynamic ard_property/1. ard_property(['Thermostat']). ard_property(['Time', 'Temperature']). ard_property(['Time']). ard_property(['Temperature']). ard_property(['Date', 'Hour', season, operation]). ard_property(['Date', 'Hour']). ard_property([season, operation]). ard_property([thermostat_settings]). ard_property([season]). ard_property([operation]). ard_property(['Date']). ard_property(['Hour']). ard_property([day, month, today]). ard_property([month]). ard_property([day, today]). ard_property([day]). ard_property([today]). ard_property([hour]). :- dynamic ard_hist/2. ard_hist(['Thermostat'], ['Time', 'Temperature']). ard_hist(['Time', 'Temperature'], ['Time']). ard_hist(['Time', 'Temperature'], ['Temperature']). ard_hist(['Time'], ['Date', 'Hour', season, operation]). ard_hist(['Date', 'Hour', season, operation], ['Date', 'Hour']). ard_hist(['Date', 'Hour', season, operation], [season, operation]). ard_hist(['Temperature'], [thermostat_settings]). ard_hist([season, operation], [season]). ard_hist([season, operation], [operation]). ard_hist(['Date', 'Hour'], ['Date']). ard_hist(['Date', 'Hour'], ['Hour']). ard_hist(['Date'], [day, month, today]). ard_hist([day, month, today], [month]). ard_hist([day, month, today], [day, today]). ard_hist([day, today], [day]). ard_hist([day, today], [today]). ard_hist(['Hour'], [hour]). :- dynamic ard_depend/2. ard_depend([season], [thermostat_settings]). ard_depend([operation], [thermostat_settings]). ard_depend([month], [season]). ard_depend([day], [today]). ard_depend([today], [operation]). ard_depend([hour], [operation]).