Logik:Klausuren/20.02.2002/B.1 Aufgabe

Aus Tudwiki
Wechseln zu: Navigation, Suche

1. Aufgabenstellung[Bearbeiten]


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[Bearbeiten]

a) A = 0 + 1 + 1

b) A = 0 + 1

3. Lösungsweg[Bearbeiten]

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


zur Klausur 20.02.2002