Logik:Klausuren/28.02.2003/2.9 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
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.
