tut12

tut12/aufgabe1.pro

+increment(leaf(X), leaf(s(X))).
+increment(node(L, N, R), node(IncL, s(N), IncR)) :- increment(L, IncL),
+  increment(R, IncR).
+
+myAppend([], YS, YS).
+myAppend([X|XS], YS, [X|Res]) :- myAppend(XS, YS, Res).  
+
+inorder(leaf(X), [X]).
+inorder(node(L, N, R), Res) :- inorder(L, LRes), inorder(R, RRes),
+  myAppend(LRes, [N|RRes], Res).

tut12/aufgabe7.pro

+squares(1, [1]).
+squares(N, [NN,T2|R]) :- N > 1, T is N-1, squares(T, [T2|R]), NN is T2 + 2*T + 1.