Logik:Klausuren/28.02.2003/2.9 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 20. November 2004, 20:55 Uhr

1. Aufgabenstellung[Bearbeiten]

Gegeben sei das Prolog-Programm

$ sum([\ ],0).\ $
$ sum([H|T],s(H,E)):- sum(T,E).\ $

und die Anfrage $ ?-sum([a,b],L). \ $

Führen Sie SLD-Resolution für die Anfrage durch und bestimmen Sie so eine Antwort-
substitution.

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]

zur Klausur 28.02.2003