Situated LP’s: Overview(continued)
phoneNumberOfPredicate ::s:: BoeingBluePagesClass.getPhoneMethod . ex. sensor link
shouldSendPagePredicate ::e:: ATTPagerClass.goPageMethod . ex. effector link
Sensor procedure may require some arguments to be ground, i.e., bound; in general it has a specified binding-signature.
Enable dynamic loading and remote loading of the attached procedures (exploit Java goodness).
Overall: cleanly separate out the procedural semantics as a declarative extension of the pure-belief declarative semantics. Easily separate chaining from action.