%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%   ['edinburgh.db']. 

:- multifile property/3, def_predicate/2, axiom/2.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%           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, 400).
property(disk_controller, cost, 200).
property(io, cost, 200).

property(optionI,   cost, 200).
property(optionII,  cost, 300).
property(optionIII, cost, 220).
property(optionIV,  cost, 150).

/****************************************************
Example software constraints based on user requirements:

This information is supplied and generated at run time by the system 
based on input given by the user.

E.g. a minumum cost of 1000 is given by the user may be described
below: 

dynamic_constraint( [forall(Cost)], 
                    [total_cost(Cost)],
                    [less_than(Cost, 1000)] ). 

dynamic_constraint( [forall(Cost)], 
                    [total_cost(Cost)], 
                    [less_equal(Cost, 1000)] ). 

*****************************************************/ 

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