Code Call Conditions

• A conjunction of

  • code call atoms and
  • comparison atoms.

• In(X, Oracle:select(‘depots.rel’,item,=,combat boots)) & X.qty > 1000 & in(R,route:plan(‘map’,99,25,X.xc,X.yc)).

• The above says: find X,R such that:

  • X is a tuple in an Oracle “depot” relation specifying a depot with over 1000 combat boots, and
  • Y is a route from the location of that depot to a location (99,25) where the entity requesting the combat boots is located.

Previous slide

Next slide

Back to first slide

View graphic version

Web Accessibility