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.
Definition (prozedurale Semantik)<br />
Sei ein Logik-Programm und ¡ eine Zielklausel.<br />
Die £ ¡¥ zugeordnete prozedurale Semantik ist<br />
die folgende Menge von Grundinstanzen von ¡:<br />
§ proz<br />
¡<br />
¡ sub wobei<br />
£ ¡ ¤ ¡¥ ¢ ¢<br />
¡ £ © sub¥ und ¤ ist<br />
eine Grundsubstitution für alle<br />
in<br />
¡<br />
sub vorkommenden £ ¡¥<br />
Variablen<br />
¡<br />
Definition (modelltheoretische Semantik)<br />
Sei ein Logik-Programm und ¡ ¢¤££¤§§§ £ ¡<br />
eine Zielklausel.<br />
Die £ ¡¥ zugeordnete modelltheoretische Semantik<br />
ist die folgende Menge von Grundinstanzen von ¡:<br />
§ mod<br />
£ ¡<br />
¡ ist eine Grundinstanz von<br />
und<br />
¡¥ ¢ ¡ ¥ ¢ ¡ .<br />
£ £¤¥§§§¥£<br />
149