>
<img src="plusFluents4.jpg" alt="" border="0" height="376" width="740"><br>
In the above screen shot the Atomic invariants edit is being used to
provide values for different instants of the <b><i>distance</i></b>
predicate in a logistics being given a value. The relationship
arguments <i>base</i> and <i>output</i> have been dragged on the the
instance of the predicate and the value for this instance entered into
the <i>Functor Value</i> edit box which will accept a simple <b><i>real</i></b>
value.
<h3>Ocl