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.
liebt(Eva, ),Antwort(<br />
)<br />
<br />
liebt(Eva, ),Antwort(<br />
¡ ¢<br />
liebt(Eva,Essen)<br />
) <br />
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡<br />
Antwort(Essen)<br />
<br />
liebt(Eva, ),Antwort( ) liebt(Eva,Wein)<br />
¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡<br />
<br />
Beispiel:<br />
wie oben<br />
Antwort(Wein)<br />
und-Verknüpfung von Antworten :<br />
verschiedene Resolutionsherleitungen<br />
Bemerkung:<br />
Aufrufklausel : Antwort ¥ £ ¥<br />
¤ ¢ : aktueller £¤ <strong>Eingabe</strong>parameter<br />
: Ausgabeparameter<br />
134