03.04.01. greater_than

Definieren Sie ein Prädikat greater_than/2, das zwei natürliche Zahlen in der succ/1-Notation nimmt und überprüft, ob die erste Zahl größer ist als die zweite:

?- greater_than(succ(succ(succ(0))),succ(0)).
true.
?- greater_than(succ(succ(0)),succ(succ(succ(0)))).
false.
?- greater_than(succ(0),succ(0)).
false.

Wie viele Argumente hat das Prädikat greater_than?

Wie viele Argumente hat der Term succ?

Welche Zahl stellt succ(succ(0)) dar?

Welche Relation soll das Prädikat greater_than implementieren?

Welche Zahlen sind in Prolog ein numeral?

Wie wird in Prolog die Zahl dargestellt, die um 1 kleiner ist als succ(X)?

Mach dir Gedanken zum Aufbau des Prädikats greater_than.
Welcher Fall wird in deiner Intuition in der Ankerklausel von greater_than(X,Y) abgedeckt?
Lese dir die Antwortmöglichkeiten erst durch, wenn du dir selbst schon Gedanken gemacht hast, wie du die Ankerklausel formulieren könntest.

(bei dieser Aufgabe gibt es eigentlich kein richtig oder falsch. Es geht darum, welche Option für dich persönlich verständlicher ist)

Noch keine Kommentare eingereicht. Bitte hilf uns diese Aufgabe zu verbessern.

Schreibe einen Kommentar