Kapitel 4. Eingabe (Anfrage) : Formel ...
Kapitel 4. Eingabe (Anfrage) : Formel ...
Kapitel 4. Eingabe (Anfrage) : Formel ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
£ ¢ ¤§§§ £ ¡ ¤<br />
Definition (prozedurale Interpretation)<br />
Die prozedurale Interpretation von Hornklauselprogrammen<br />
ist gegeben durch einen abstrakten<br />
Interpreter:<br />
- Konfigurationen: £ ¡ sub¥ mit ¡ Zielklausel,<br />
sub Substitution<br />
Sei ein Logik-Programm.<br />
- Konfigurationsübergänge bzgl. :<br />
£ ¡¤ sub¤¥ ¡ £ ¡¦ sub¦¥,<br />
falls ¡¤ ¢ £¤ £¦§§§ £ ¡ £¢ £ © ¥<br />
und es eine Programmklausel<br />
¤ ¢ ¦ ¥ ¤ ¥ ¦§§§ ¥¨ £¦ £ ¡¥<br />
in gibt (¡¤ und ¤ seien Variablen-disjunkt), so<br />
dass ¦ und ein £ ¢ £§ ¨ © §§§ ¢ ¥ unifizierbar<br />
sind mit allgem. Unifikator ¤. Dann sind<br />
und<br />
¡¦ ¢ £¤§§§ £ ¢© ¤ ¥ ¤§§§ ¥¨<br />
sub¦ ¢ sub¤¤.<br />
140