           [a &gt; 0, b + a &gt; 0]
(%i5) facts(x);
(%o5)                        [0 &gt; x]
(%i6) context:initial;
(%o6)                        initial
(%i7) activate(mycontext);
(%o7)                         done
(%i8) facts();
(%o8)                          []
(%i9) facts(mycontext);
(%o9)               [a &gt; 0, b + a &gt; 0, 0 &gt; x]
</pre></dd></dl>

<p><a name="forget"></a>
</p><dl>
<dt><u>Funktion:</u> <b>forget</b><i> (<var>pred_1</var>, &hellip;, <var>pred_n</var>)</i>
<a name="IDX480"></a>
</dt>