Wie funktioniert dieser deduktive Algorithmus aus der Informatik?
Hallo, ich habe folgende Aufgabe bekommen und mir ist nicht klar wie sie zu lösen ist:
Gegeben seien ein Fakt und eine Regel eines deduktiven Algorithmus (für natürliche Zahlen X und Y) wie folgt:
f(0,1).
X>0 AND f(X-1,Y) -> f(X,2*Y).
Was sind die Ergebnisse der Anfragen:
f(X,64)?
f(X,67)?
f(3,Y)?
Danke schonmal für Lösungen und Tipps dazu.