... instance1
Compile time analysis ensures that the action of every TeleoR rule will be ground if its guard is inferable. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... CLASS="MATH">$\sb{k}$)2
In practice the call stack is examined from the task call entry - the bottom entry - to the entry for the last rule firing - the top entry. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... type3
The handle_message type need not, indeed should not, be included in the agent program. Only the QuLog rules defining the handle_message action need be given. 
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

On This Site