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.
<strong>4.</strong>2 Hornklauselprogramme und ihre Semantik<br />
Typen von Hornklauseln:<br />
- Tatsachenklausel : einelementige positive Klausel<br />
- Prozedurklausel : ¢ ¤§§§ ¡ ,<br />
¢ ¢ atom. <strong>Formel</strong>n<br />
PROLOG-Notation: ¢ £ ¤ ¦§§§ ¡ .<br />
¢ : Prozedurkopf oder -name<br />
¤§§§ ¡ : Prozedurkörper<br />
¢ : Prozeduraufruf<br />
Hornklauselprogramm (Logik-Programm):<br />
endliche Menge von Tatsachen- und Prozedurklauseln<br />
(Programmklauseln, definite Klauseln)<br />
Aufruf durch Zielklausel (Aufruf- oder Frageklausel):<br />
¤ ¦§§§ ¡ <br />
PROLOG-Notation : ¤ £ ¤ ¦§§§ ¡ .<br />
Halteklausel:<br />
Interpretation (prozedural) eines Hornklauselprogramms<br />
bei Zielklausel ¡:<br />
©<br />
SLD-Resolutionsherleitung von © aus ¡<br />
basierend auf ¡.<br />
Variablenumbenennungen:<br />
nur auf die Seitenklauseln anwenden<br />
standardisierte SLD-Resolution<br />
138