"><code>append/3</code></a></dt>
<dd><a href="ref.html#pilog">Pilog</a> predicate that succeeds if appending the
first two list arguments is equal to the third argument. See also <code><a
href="refA.html#append">append</a></code> and <code><a
href="refM.html#member/2">member/2</a></code>.

<pre>
: (? (append @X @Y (a b c)))
 @X=NIL @Y=(a b c)
 @X=(a) @Y=(b c)
 @X=(a b) @Y=(c)
 @X=(a b c) @Y=NIL
-> NIL
</pre></dd>

<dt><a id="apply"><code>(apply 'fun 'lst ['any ..]) -> any</code></a></dt>
<dd>Applies <code>f