ode>) from the <code>select</code>
environment to the enclosing Pilog environment.

<p>The first variable in this list (<code>@Item</code> in the above example) is
mandatory, it takes the direct return value of <code>select</code>. Additional
optional variables may be unified by clauses in the body of <code>select</code>,
and return further values.


<p><hr>
<h2><a id="gencl">Generator Clauses</a></h2>

<p>The second argument to <code>select</code> is a list of "generator clauses".
Each of these clauses spe