yc.com">Cycorp</a>.  All rights reserved.</i>  <br>


<hr>

<p><h3><a name="kill">Killing a Constant</a></h3>

<p> Killing a constant removes it from the KB; any assertions which
involve it are also removed.  The number of assertions involving the
constant will be listed along with the constant to be killed.

<p> It is impossible to reverse a kill (short of creating a new
constant by the same name and reasserting every assertion which
involved the old constant), so it is very important to be sure that
killi