<head>
   <title>CCalc Tutorial: Queries</title>
</head>

<center>
<h2>
0.3. Queries
</h2>
</center>

When an action domain is represented by a transition system, many
computational problems involving that domain can be stated as questions about
paths in this transition system.  This idea is used in the approach to
queries adopted in the input language of CCalc.<p>

Consider, for instance, several identical objects, say coins, and a box in
which these objects can be placed.  There is enough room in the box 