
% SLA Definition 
slaName(MasterSLA).
slaType(service_agreement).
serviceprovider("Siemens", MasterSLA).
servicecustomer("SBS", MasterSLA).
startDate("03-01-2005", MasterSLA).
startTime("00:00", MasterSLA).
endDate("03-01-2006", MasterSLA).
endTime("00:00", MasterSLA).

% Service definitions in MasterSLA
serviceDefinition("BetterBillingservice ","MasterSLA").
serviceOperation("BetterBillingOperationDescription","BetterBillingservice").
serviceOperationName("BetterBillingOperationDescription","BetterBilling").
serviceOperationSchedule("MainSchedule").
slaParameter("AverageResponseTime","BetterBilling").
slaParameterType("float","AverageResponseTime").
sLAParameterUnit("seconds","AverageResponseTime").
slaParameterMetric("averageResponseTime","AverageResponseTime").

customerstatus(C, "gold") :- spending(C, "min 15000 euro", "previous year").
customerstatus(C, "silver") :- spending(C, "min 10000 euro", "previous year").
discount(12, C) :- customerstatus(C, "gold").
discount(8, C) :- customerstatus(C, "silver").
discount(9, C) :- customerstatus(C, "gold").
