
<dt><u>Funktion:</u> <b>forget</b><i> (<var>L</var>)</i>
<a name="IDX481"></a>
</dt>
<dd><p>Entfernt Aussagen, die mit <code>assume</code> einem Kontext hinzugef&uuml;gt wurden.
Die Aussagen k&ouml;nnen Ausdr&uuml;cke sein, die &auml;quivalent aber nicht unbedingt
identisch zu vorherigen Fakten sind.
</p>
<p><code>forget(<var>L</var>)</code> entfernt alle Aussagen, die in der Liste <var>L</var>
enthalten sind.
</p></dd></dl>

<p><a name="is"></a>
</p><dl>
<dt><u>Funktion:</u> <b>is</b><i> (<var>expr</var>)