Kapitel 4. Eingabe (Anfrage) : Formel ...
Kapitel 4. Eingabe (Anfrage) : Formel ...
Kapitel 4. Eingabe (Anfrage) : Formel ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
££££££££££££££££££££££££££££<br />
sub sub<br />
¤¢¢¢ ¥ ¢¢¢ ¨£ § <br />
§¢¢¢ ©<br />
§¢¢¢ ¢ ¢¢¢ ¡¢¢¢ ¨<br />
¤ ¨ ©¥§¢¢¢ ¥¦<br />
©<br />
£££££££££££££££££££££££££££<br />
§¢¢¢ ¢ ¢¢¢ ¥ ¢¢¢ ¨£ sub§§<br />
© ¨ © ¤§¢¢¢ ¤§<br />
¢<br />
££££££££££££££££££££££££££££<br />
§¢¢¢ ¤¢¢¢ ¥ ¢¢¢ ¨£ sub§§ sub§<br />
©<br />
Vertauschungslemma<br />
Gegeben seien zwei aufeinanderfolgende<br />
SLD-Resolutionsschritte<br />
§¢¢¢ ¢ ¢¢¢ ¡¢¢¢ ¨<br />
© ¨ © ¤§¢¢¢ ¤§<br />
¢<br />
£££££££££££££££££££££££££££<br />
<br />
sub<br />
¤¢¢¢ ¡¢¢¢ ¨£ § ¤ ¨ ©¥§¢¢¢ ¥¦<br />
§¢¢¢ ©<br />
Dann kann man die Reihenfolge der Literale, nach<br />
denen resolviert wird, vertauschen:<br />
wobei sub¤sub¦ mit sub ¤sub ¦ identisch sind bis auf<br />
eventuelle Variablenumbenennungen.<br />
153