default
tv
nb_participants(6)[source(self)].
propose(10.50586843741821)[source(company_A2)].
propose(12.852959654105087)[source(company_A3)].
propose(12.964993705838628)[source(company_A1)].
#8priv
state(propose)[source(self)].
pc
nb_participants(6)[source(self)].
propose(10.812170227162138)[source(company_A1)].
propose(12.253141211695096)[source(company_A3)].
propose(12.440947231224444)[source(company_A2)].
#6priv
state(contract)[source(self)].
oven
nb_participants(6)[source(self)].
propose(10.364209843805531)[source(company_A2)].
propose(10.46471827797219)[source(company_A1)].
propose(11.018512441302288)[source(company_A3)].
#7priv
state(propose)[source(self)].
all_proposals_received[source(self)] :-all_proposals_received[source(self)] :-
(nb_participants(NP) & (.count(propose(_180)[source(_181)],NO) & (.count(refuse[source(_182)],NR) & (NP = (NO+NR))))). all_proposals_received[source(self)] :-
(nb_participants(NP) & (.count(propose(_189)[source(_190)],NO) & (.count(refuse[source(_191)],NR) & (NP = (NO+NR))))).
(nb_participants(NP) & (.count(propose(_198)[source(_199)],NO) & (.count(refuse[source(_200)],NR) & (NP = (NO+NR))))).
Sel Trigger Intention +!contract(pc)[source(self)] 11 +!contract(oven)[source(self)] 12 +state(contract)[source(self)] 10 X +!contract(tv)[source(self)] 10
App Sel Plan Unifier X X +!contract(Ns) { Ns = tv, _232 = propose } X +!contract(_185) { _185 = tv }
Sel Id Pen Intended Means 10 +!#6priv::contract(tv)[source(self)]
+!#6priv::contract(tv)[source(self)]<- ... -+state(contract); .findall(offer(Price,A),propose(Price)[source(A)],L); .print("Offers in CNP taking place in ",Ns," are ",L); (L \== []); .min(L,offer(WOf,WAg)); +winner(WAg); !announce_result(Ns,L); -+state(finished)
{ Ns = tv, _232 = propose }+!tv::startCNP(fix(tv))[source(self)]<- ... !contract(tv)
{ Task = fix(tv), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3], _183 = 8552 }11 +!pc::startCNP(fix(pc))[source(self)]
+!pc::startCNP(fix(pc))[source(self)]<- ... !contract(pc)
{ _192 = 8541, Task = fix(pc), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3] }12 +!oven::startCNP(fix(oven))[source(self)]
+!oven::startCNP(fix(oven))[source(self)]<- ... !contract(oven)
{ Task = fix(oven), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3], _201 = 8538 }10 +!#6priv::contract(tv)[source(self)]
+!#6priv::contract(tv)[source(self)]<- ... -+state(contract); .findall(offer(Price,A),propose(Price)[source(A)],L); .print("Offers in CNP taking place in ",Ns," are ",L); (L \== []); .min(L,offer(WOf,WAg)); +winner(WAg); !announce_result(Ns,L); -+state(finished)
{ Ns = tv, _232 = propose }+!tv::startCNP(fix(tv))[source(self)]<- ... !contract(tv)
{ Task = fix(tv), LP = [company_B1,company_B3,company_A2,company_B2,company_A1,company_A3], _183 = 8552 }