<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html; charset=ISO-8859-1"
 http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
On 15.12.2010 10:01, Diego San Esteban wrote:
<blockquote
 cite="mid:001601cb9c36$bb3b16d0$31b14470$@sanesteban@coremain.com"
 type="cite">
  <meta http-equiv="Content-Type"
 content="text/html; charset=ISO-8859-1">
  <meta name="Generator" content="Microsoft Word 12 (filtered medium)">
  <style>
<!--
 /* Font Definitions */
 @font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
        {font-family:Tahoma;
        panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
        {font-family:Verdana;
        panose-1:2 11 6 4 3 5 4 4 2 4;}
 /* Style Definitions */
 p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:11.0pt;
        font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
pre
        {mso-style-priority:99;
        mso-style-link:"HTML con formato previo Car";
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:10.0pt;
        font-family:"Courier New";}
p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
        {mso-style-priority:99;
        mso-style-link:"Texto de globo Car";
        margin:0cm;
        margin-bottom:.0001pt;
        font-size:8.0pt;
        font-family:"Tahoma","sans-serif";}
span.EstiloCorreo17
        {mso-style-type:personal-compose;
        font-family:"Calibri","sans-serif";
        color:windowtext;}
span.TextodegloboCar
        {mso-style-name:"Texto de globo Car";
        mso-style-priority:99;
        mso-style-link:"Texto de globo";
        font-family:"Tahoma","sans-serif";}
span.hps
        {mso-style-name:hps;}
span.HTMLconformatoprevioCar
        {mso-style-name:"HTML con formato previo Car";
        mso-style-priority:99;
        mso-style-link:"HTML con formato previo";
        font-family:"Courier New";}
.MsoChpDefault
        {mso-style-type:export-only;}
@page Section1
        {size:612.0pt 792.0pt;
        margin:70.85pt 3.0cm 70.85pt 3.0cm;}
div.Section1
        {page:Section1;}
-->
  </style>
<!--[if gte mso 9]><xml>
 <o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
 <o:shapelayout v:ext="edit">
  <o:idmap v:ext="edit" data="1" />
 </o:shapelayout></xml><![endif]-->
  <div class="Section1">
  <pre><span class="hps"><span
 style="font-family: &quot;Verdana&quot;,&quot;sans-serif&quot;;" lang="EN">Greetings,<o:p></o:p></span></span></pre>
  <pre><span class="hps"><span
 style="font-family: &quot;Verdana&quot;,&quot;sans-serif&quot;;" lang="EN"><o:p>&nbsp;</o:p></span></span></pre>
  <pre><span class="hps"><span
 style="font-family: &quot;Verdana&quot;,&quot;sans-serif&quot;;" lang="EN">How is</span></span><span
 style="font-family: &quot;Verdana&quot;,&quot;sans-serif&quot;;" lang="EN"> it <span
 class="hps">possible to implement a</span> <span class="hps">"</span>rollback" <span
 class="hps">in</span> the <span class="hps">KB</span>?

<span class="hps">Suppose</span> <span class="hps">that when retracting</span> a<span
 class="hps"> fact</span>, <span class="hps">I</span> want to <span
 class="hps">undo the</span> <span class="hps">changes</span> <span
 class="hps">made.</span></span>
  </pre>
  </div>
</blockquote>
<br>
A very simple, yet effective solution would be to exclusively use
insertLogical(). No updates to facts which are already asserted, no
normal "insert".<br>
<br>
Best regards<br>
<br>
Ansgar<br>
</body>
</html>