:- dynamic ard_att/1. ard_att('Calculation'). ard_att('Charge'). ard_att('Service'). ard_att('Tariff'). ard_att('AccountState'). ard_att('ServiceType'). ard_att('DurationToCover'). ard_att('Duration'). ard_att('Packets'). ard_att('Time'). ard_att('Date'). ard_att('Operator'). ard_att('Day'). ard_att('Today'). ard_att('Hour'). ard_att('Daytime'). ard_att('FA'). ard_att('FP'). ard_att('FWP'). ard_att('FS'). :- dynamic ard_property/1. ard_property(['Calculation']). ard_property(['Charge', 'Service', 'Tariff']). ard_property(['Service']). ard_property(['Tariff']). ard_property(['Charge']). ard_property(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator']). ard_property(['Date', 'Time']). ard_property(['Operator']). ard_property(['Packets']). ard_property(['AccountState']). ard_property(['ServiceType']). ard_property(['DurationToCover']). ard_property(['Duration']). ard_property(['Date']). ard_property(['Time']). ard_property(['Day', 'Today']). ard_property(['Hour', 'Daytime']). ard_property(['Day']). ard_property(['Today']). ard_property(['Hour']). ard_property(['Daytime']). ard_property(['FA', 'FP', 'FWP', 'FS']). ard_property(['FA']). ard_property(['FWP']). ard_property(['FS']). ard_property(['FP']). :- dynamic ard_depend/2. ard_depend(['Tariff'], ['Charge']). ard_depend(['Packets'], ['DurationToCover']). ard_depend(['DurationToCover'], ['Charge']). ard_depend(['Operator'], ['Packets']). ard_depend(['Operator'], ['Charge']). ard_depend(['Duration'], ['DurationToCover']). ard_depend(['ServiceType'], ['Packets']). ard_depend(['ServiceType'], ['Charge']). ard_depend(['Day'], ['Today']). ard_depend(['Today'], ['Packets']). ard_depend(['Hour'], ['Daytime']). ard_depend(['Daytime'], ['Packets']). ard_depend(['FP'], ['DurationToCover']). ard_depend(['FS'], ['DurationToCover']). ard_depend(['FWP'], ['DurationToCover']). ard_depend(['FA'], ['DurationToCover']). :- dynamic ard_hist/2. ard_hist(['Calculation'], ['Charge', 'Service', 'Tariff']). ard_hist(['Charge', 'Service', 'Tariff'], ['Service']). ard_hist(['Charge', 'Service', 'Tariff'], ['Tariff']). ard_hist(['Charge', 'Service', 'Tariff'], ['Charge']). ard_hist(['Service'], ['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['Date', 'Time']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['Operator']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['Packets']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['AccountState']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['ServiceType']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['DurationToCover']). ard_hist(['AccountState', 'ServiceType', 'DurationToCover', 'Duration', 'Packets', 'Time', 'Date', 'Operator'], ['Duration']). ard_hist(['Date', 'Time'], ['Date']). ard_hist(['Date', 'Time'], ['Time']). ard_hist(['Date'], ['Day', 'Today']). ard_hist(['Time'], ['Hour', 'Daytime']). ard_hist(['Day', 'Today'], ['Day']). ard_hist(['Day', 'Today'], ['Today']). ard_hist(['Hour', 'Daytime'], ['Hour']). ard_hist(['Hour', 'Daytime'], ['Daytime']). ard_hist(['AccountState'], ['FA', 'FP', 'FWP', 'FS']). ard_hist(['FA', 'FP', 'FWP', 'FS'], ['FA']). ard_hist(['FA', 'FP', 'FWP', 'FS'], ['FWP']). ard_hist(['FA', 'FP', 'FWP', 'FS'], ['FS']). ard_hist(['FA', 'FP', 'FWP', 'FS'], ['FP']).