%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%           Representation of PC Configuration Example 
%                     Definition of The Domain 
%
%                     Edinburgh Site Definition
%                         
%                         Jessica Chen-Burger 
%
% In this document, we will adopt a convention that words starting 
% with a capital letter stand for variables, whereas words starting
% with a lower case letter stand for constants.
% 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

property(processor, cost, 200).
property(disk_controller, cost, 50).
property(io, cost, 50).

property(optionI,   cost, 100).
property(optionII,  cost, 300).
property(optionIII, cost, 50).
property(optionIV,  cost, 50).

%%%%%%%%%%%%%%%%%% low-level local knowledge !! %%%%%%%%%%%%%%%%%%%

def_predicate(cost_domain(X), [X >= 0, X < 10000]). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

dynamic_constraint( [total_cost(Cost), less_than(X)], 
                    [total_cost(Cost), less_than(X)],
                    [Cost =< X] ). 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% end of file 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%