system(system1).
accountingSupplier(accountingSupplier1).
accountingCustomer(accountingCustomer1).
sendFreightInvoice(sendFreightInvoice1).
receiveFreightInvoice(receiveFreightInvoice1).
dofulfillmentProcess(dofulfillmentProcess1).
dopaymentProcess(dopaymentProcess1).
dofreightBillingProcess(dofreightBillingProcess1).
document(freightInvoice1).

raiseDoc(accountingSupplier1,freightInvoice1).
relDocAgent(freightInvoice1,accountingSupplier1).
relDocAgent(freightInvoice1,accountingCustomer1).

process(fulfillmentProcess1).
process(freightBillingProcess1).
process(paymentProcess1).



qualified(system1,dofulfillmentProcess1).
qualified(accountingSupplier1,dofreightBillingProcess1).
qualified(accountingCustomer1,dofreightBillingProcess1).
qualified(system1,dopaymentProcess1).
qualified(system1,dofreightBillingProcess1).
qualified(accountingSupplier1,sendFreightInvoice1).
qualified(accountingCustomer1,receiveFreightInvoice1).

agent(X):-system(X).
agent(X):-accountingSupplier(X).
agent(X):-accountingCustomer(X).

activity(X):-sendFreightInvoice(X).
activity(X):-receiveFreightInvoice(X).
activity(X):-dofulfillmentProcess(X).
activity(X):-dopaymentProcess(X).
activity(X):-dofreightBillingProcess(X).


holds_at(P,T,H):-initiates(E,P),happens3(E,T1,H),T1<T,
                not( terminated_between(P,T1,T,H) ).

terminated_between(P,T1,T2,H):-terminates(E,P),happens3(E,T,H),T1=<T,T=<T2.

happens3(start(A),T,H):-member(happens(start(A),T),H).
happens3(end(A),T2,H):-happens3(start(A),T1,H),dur(A,Y),T2 is T1+Y.

step(happens(start(A),T),H):-sequential(A0,A),happens3(end(A0),T,H),
                not( happens3(start(A),T,H) ). 

history([happens(start(dofulfillmentProcess1),-1)]).
history([Happens|H]):-history(H),step(Happens,H).

limited_history( [happens(start(dofulfillmentProcess1),-1)], N ) :- 0<N.
limited_history( [Happens|H], N ) :- 1<N, N1 is N-1,
                limited_history( H, N1 ),
                step(Happens,H).


initiates(end(dofulfillmentProcess1),initiationfreightBillingProcess).


initiates(start(dopaymentProcess1),closurefreightBillingProcess).

dur(dofulfillmentProcess1,0).
dur(dopaymentProcess1,2).
dur( sendFreightInvoice1, 1 ).
dur( receiveFreightInvoice1, 1 ).

sequential(dofulfillmentProcess1,sendFreightInvoice1).
sequential(sendFreightInvoice1,receiveFreightInvoice1).
sequential(receiveFreightInvoice1,dopaymentProcess1).

terminates( a, a ).