From be3ef3b12a0d73fe5d9b95db86bb1edffd4ec8de Mon Sep 17 00:00:00 2001
From: Whitomtit <whitomtit@gmail.com>
Date: Sun, 11 Aug 2024 19:57:12 +0300
Subject: [PATCH] added hw6 files

---
 Spr24/HW/Homework6/q1_1.expected |  8 ++++++++
 Spr24/HW/Homework6/q1_1.in       |  6 ++++++
 Spr24/HW/Homework6/q1_2.expected |  8 ++++++++
 Spr24/HW/Homework6/q1_2.in       | 21 +++++++++++++++++++++
 Spr24/HW/Homework6/q1_3.expected | 10 ++++++++++
 Spr24/HW/Homework6/q1_3.in       | 30 ++++++++++++++++++++++++++++++
 Spr24/HW/Homework6/q1_4.expected |  8 ++++++++
 Spr24/HW/Homework6/q1_4.in       | 21 +++++++++++++++++++++
 Spr24/HW/Homework6/q1_5.expected |  8 ++++++++
 Spr24/HW/Homework6/q1_5.in       | 21 +++++++++++++++++++++
 Spr24/HW/Homework6/q1_6.expected |  6 ++++++
 Spr24/HW/Homework6/q1_6.in       | 12 ++++++++++++
 12 files changed, 159 insertions(+)
 create mode 100644 Spr24/HW/Homework6/q1_1.expected
 create mode 100644 Spr24/HW/Homework6/q1_1.in
 create mode 100644 Spr24/HW/Homework6/q1_2.expected
 create mode 100644 Spr24/HW/Homework6/q1_2.in
 create mode 100644 Spr24/HW/Homework6/q1_3.expected
 create mode 100644 Spr24/HW/Homework6/q1_3.in
 create mode 100644 Spr24/HW/Homework6/q1_4.expected
 create mode 100644 Spr24/HW/Homework6/q1_4.in
 create mode 100644 Spr24/HW/Homework6/q1_5.expected
 create mode 100644 Spr24/HW/Homework6/q1_5.in
 create mode 100644 Spr24/HW/Homework6/q1_6.expected
 create mode 100644 Spr24/HW/Homework6/q1_6.in

diff --git a/Spr24/HW/Homework6/q1_1.expected b/Spr24/HW/Homework6/q1_1.expected
new file mode 100644
index 0000000..c30656b
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_1.expected
@@ -0,0 +1,8 @@
+true.
+
+true.
+
+
+false.
+
+
diff --git a/Spr24/HW/Homework6/q1_1.in b/Spr24/HW/Homework6/q1_1.in
new file mode 100644
index 0000000..a0a7227
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_1.in
@@ -0,0 +1,6 @@
+use_module(library(yall)).
+set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
+print("===TEST START===").
+
+once(bt(5, [bt(7, [])])).
+once(bt(7, [bt(5, [])])).
\ No newline at end of file
diff --git a/Spr24/HW/Homework6/q1_2.expected b/Spr24/HW/Homework6/q1_2.expected
new file mode 100644
index 0000000..2aabf52
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_2.expected
@@ -0,0 +1,8 @@
+true.
+
+L = [[bt(3, [bt(5, [bt(7, [])]), bt(4, [])])]].
+
+
+L = [[bt(1, [bt(5, [])])]].
+
+
diff --git a/Spr24/HW/Homework6/q1_2.in b/Spr24/HW/Homework6/q1_2.in
new file mode 100644
index 0000000..dedea6a
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_2.in
@@ -0,0 +1,21 @@
+use_module(library(yall)).
+set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
+print("===TEST START===").
+
+{L}/(
+    findall(
+        [X],
+        merge_bt(bt(3, [bt(4, [])]), bt(5, [bt(7, [])]), X),
+        L1
+    ),
+    msort(L1, L)
+).
+
+{L}/(
+    findall(
+        [X],
+        merge_bt(bt(1, []), bt(5, []), X),
+        L1
+    ),
+    msort(L1, L)
+).
\ No newline at end of file
diff --git a/Spr24/HW/Homework6/q1_3.expected b/Spr24/HW/Homework6/q1_3.expected
new file mode 100644
index 0000000..b3c0271
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_3.expected
@@ -0,0 +1,10 @@
+true.
+
+L = [[[empty, bt(4, [bt(5, [])])]]].
+
+L = [[[empty, empty, bt(3, [bt(4, [bt(5, [])]), bt(2, [])])]]].
+
+
+L = [[[bt(1, []), empty, bt(3, [bt(4, [bt(5, [])]), bt(2, [])])]]].
+
+
diff --git a/Spr24/HW/Homework6/q1_3.in b/Spr24/HW/Homework6/q1_3.in
new file mode 100644
index 0000000..0969181
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_3.in
@@ -0,0 +1,30 @@
+use_module(library(yall)).
+set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
+print("===TEST START===").
+
+{L}/(
+    findall(
+        [X],
+        add_bt(bt(5, []), [bt(4, [])], X),
+        L1
+    ),
+    msort(L1, L)
+).
+
+{L}/(
+    findall(
+        [X],
+        add_bt(bt(3, [bt(2, [])]), [empty, bt(4, [bt(5, [])])], X),
+        L1
+    ),
+    msort(L1, L)
+).
+
+{L}/(
+    findall(
+        [X],
+        add_bt(bt(1, []), [empty, empty, bt(3,[bt(4,[bt(5,[])]), bt(2,[])])], X),
+        L1
+    ),
+    msort(L1, L)
+).
\ No newline at end of file
diff --git a/Spr24/HW/Homework6/q1_4.expected b/Spr24/HW/Homework6/q1_4.expected
new file mode 100644
index 0000000..627ce81
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_4.expected
@@ -0,0 +1,8 @@
+true.
+
+L = [[[empty, bt(3, [bt(4, [])])]]].
+
+
+L = [[[bt(10, []), bt(3, [bt(4, [])])]]].
+
+
diff --git a/Spr24/HW/Homework6/q1_4.in b/Spr24/HW/Homework6/q1_4.in
new file mode 100644
index 0000000..90a5845
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_4.in
@@ -0,0 +1,21 @@
+use_module(library(yall)).
+set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
+print("===TEST START===").
+
+{L}/(
+    findall(
+        [X],
+        add(3, [bt(4, [])], X),
+        L1
+    ),
+    msort(L1, L)
+).
+
+{L}/(
+    findall(
+        [X],
+        add(10, [empty, bt(3, [bt(4, [])])], X),
+        L1
+    ),
+    msort(L1, L)
+).
\ No newline at end of file
diff --git a/Spr24/HW/Homework6/q1_5.expected b/Spr24/HW/Homework6/q1_5.expected
new file mode 100644
index 0000000..8cf2ebd
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_5.expected
@@ -0,0 +1,8 @@
+true.
+
+L = [[3, [bt(4, [])]]].
+
+
+L = [[4, []]].
+
+
diff --git a/Spr24/HW/Homework6/q1_5.in b/Spr24/HW/Homework6/q1_5.in
new file mode 100644
index 0000000..a089be9
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_5.in
@@ -0,0 +1,21 @@
+use_module(library(yall)).
+set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
+print("===TEST START===").
+
+{L}/(
+    findall(
+        [X, Y],
+        fetch_min(X, [empty, bt(3, [bt(4, [])])], Y),
+        L1
+    ),
+    msort(L1, L)
+).
+
+{L}/(
+    findall(
+        [X, Y],
+        fetch_min(X, [bt(4, [])], Y),
+        L1
+    ),
+    msort(L1, L)
+).
\ No newline at end of file
diff --git a/Spr24/HW/Homework6/q1_6.expected b/Spr24/HW/Homework6/q1_6.expected
new file mode 100644
index 0000000..d5dd209
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_6.expected
@@ -0,0 +1,6 @@
+true.
+
+
+L = [[[-2, 0, 1, 4, 5, 10, 14]]].
+
+
diff --git a/Spr24/HW/Homework6/q1_6.in b/Spr24/HW/Homework6/q1_6.in
new file mode 100644
index 0000000..af6196f
--- /dev/null
+++ b/Spr24/HW/Homework6/q1_6.in
@@ -0,0 +1,12 @@
+use_module(library(yall)).
+set_prolog_flag(answer_write_options, [quoted(true), portray(true), max_depth(0), spacing(next_argument)]).
+print("===TEST START===").
+
+{L}/(
+    findall(
+        [X],
+        sort_me([5, -2, 10, 14, 1, 4, 0], X),
+        L1
+    ),
+    msort(L1, L)
+).
\ No newline at end of file