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 />
PROLOG-Notation:<br />
¥<br />
¢ £ ¢ £ £ £ ¥ ¢ £ ¥<br />
¥ <br />
Ergebnis: ¢ £ ¡ ¥ ¡ ¡<br />
Ergebnis: ¢ £ ¡ ¥<br />
¡¡¡ <br />
Beispiel:<br />
£ ¢<br />
¥.<br />
Zielklausel:<br />
¢¢¥<br />
£<br />
¥, d.h. ¢ £<br />
¡ ¡ <br />
£ ¥.<br />
¢ £ ¡ ¤ ¢ ¡<br />
1. Rechnung:<br />
£¢ £ ¡ ¥ ¡¥ ¡ £ £ ¥ ¢ £ ¡ ¥ ¡<br />
¡<br />
¡¥<br />
¡¡<br />
¡ £¢ £¡ ¡ ¥ ¡ ¡<br />
¡<br />
¡¡<br />
¡<br />
¡ <br />
¡ £ £¡ ¥ ¢ £ ¡ ¥ ¡ ¡<br />
¡<br />
¡¡<br />
¡<br />
¡ <br />
¡ ¡¡ <br />
¡<br />
¡<br />
¡<br />
¡ ¡<br />
¡¥<br />
¡¥<br />
¡¡<br />
¡<br />
¡ ¡ ¡¡ ¡ ¡<br />
¡<br />
¡ ¡<br />
¡<br />
Diese Rechnung ist endlich, aber nicht erfolgreich.<br />
<br />
¡ £ £¡ ¡ ¥ ¡ ¡<br />
¡<br />
¡¡<br />
2. Rechnung:<br />
£¢ £ ¡ ¥ ¡¥ ¡ £ £ ¥ ¢ £ ¡ ¥ ¡<br />
¡<br />
¡¥<br />
¡¡<br />
¡ £¢ £¡ ¡ ¥ ¡ ¡<br />
¡<br />
¡¡<br />
¡<br />
¡ <br />
¡ £ © ¡ ¡<br />
¡<br />
¡¡<br />
¡<br />
¡ <br />
¡ ¡<br />
¡¥<br />
¡<br />
¡¡<br />
¡<br />
¡ <br />
¡¡ ¢ ¡ ¡<br />
¡ ¢ ¡<br />
¡ ¡¡ ¢ ¡ ¡<br />
¡¥<br />
3. Rechnung:<br />
¢ £ ¡ ¥<br />
¢ £¡ ¡ ¥<br />
£¢ £ ¡ ¥ ¡¥ ¡ £ ©<br />
¡¥<br />
¡¡<br />
¡ ¢<br />
¡¡<br />
143