From da223ba91fdf6ee34ea46f7a9a34f96eb9534945 Mon Sep 17 00:00:00 2001
From: Dominic <git@msrd0.de>
Date: Fri, 24 Jan 2020 16:18:10 +0100
Subject: [PATCH] tut12

---
 tut12/aufgabe1.pro | 10 ++++++++++
 tut12/aufgabe7.pro |  2 ++
 2 files changed, 12 insertions(+)
 create mode 100644 tut12/aufgabe1.pro
 create mode 100644 tut12/aufgabe7.pro

diff --git a/tut12/aufgabe1.pro b/tut12/aufgabe1.pro
new file mode 100644
index 0000000..269c5b8
--- /dev/null
+++ b/tut12/aufgabe1.pro
@@ -0,0 +1,10 @@
+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).
diff --git a/tut12/aufgabe7.pro b/tut12/aufgabe7.pro
new file mode 100644
index 0000000..d9d3fe7
--- /dev/null
+++ b/tut12/aufgabe7.pro
@@ -0,0 +1,2 @@
+squares(1, [1]).
+squares(N, [NN,T2|R]) :- N > 1, T is N-1, squares(T, [T2|R]), NN is T2 + 2*T + 1.