The following compact Golog procedures express natural constraints
on the robot's behavior
(with abbreviations MO (main office), C (coffee) ).
The argument of deliver
can be the set of offices
{LP271,LP276,LP290b,LP269},
{LP271,LP276,LP290b,LP269}" SRC="img49.gif" >
the office
LP271 is the finite set of names
{Steven, Maurice, Yves}.
{Steven, Maurice, Yves}" SRC="img50.gif" >
