Integrator theorem-proves over results from
other agents
Manager knows what predicates handled by what agents.
Manager
Integrator
(⇐ (request-transfer-from-to ?amount ?bank1 ?bank2 ?account)
(¬ (= ?bank1 ?bank2))
(> (- (balance ?bank-1) ?amount)
(minimum-balance ?bank-1 ?account))
(= (bank.units ?bank-1)(bank.units ?bank-2))
(do (transfer-from-to ?amount ?bank1 ?new-amount ?bank2
?account)))