ates</a>
   </ul>
</ul>


<p><hr>
<h2><a id="syntax">Syntax</a></h2>

<p><code>select</code> takes at least three arguments:

<p><ul>
<li>A list of unification variables,
<li>a list of generator clauses
<li>and an arbitrary number of filter clauses
</ul>

<p>We will describe these arguments in the following, but demonstrate them first
on a concrete example.


<p><hr>
<h2><a id="example1">First Example</a></h2>

<p>The examples in this document will use the demo application in "app/*.l" (in
<a href="http://s