Logik:Klausuren/20.02.2002/B.1 Aufgabe

1. Aufgabenstellung

Gegeben sei das folgende Prologprogramm:

$ gnull([\ ],0).\ $

$ gnull([H|T],A+1) :- H>0, gnull(T,A). \ $

$ gnull([H|T],A) :- H=<0, gnull(T,A). \ $

a) Welche Antwort liefert die Anfrage $ ?-gnull([2,2,-1],A). \ $

b) Geben Sie den vollständigen Ableitungsbaum (verkürzte Darstellung) für die An-

frage $ ?-gnull([-2,2],A).\ $ an.

2. Lösung

a) A = 0 + 1 + 1

b) A = 0 + 1

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 20.02.2002