
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% load all relevant programs
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

:- [library].    % load utility program 
:- [cond, exe].  % load WFE modules. 

:- [comm].     % load communication modules 

% load process model 
:- ['./data/process.db'].    % load processes 
:- ['./data/junction.db'].   % load junctions
:- ['./data/entity.db'].     % load entity info 
:- ['./data/event.db'].      % load initial event 

% load initial system state info 
:- ['./data/init.db'].       
:- ['./data/event.db'].       

% load problem domain 
:- ['./domain/share.db'].      % load domain description - shared 
:- ['./domain/edinburgh.db'].  % load domain description - edinburgh 

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

