added hw6 files

Spr24/HW/Homework6/q1_1.expected

@@ -0,0 +1,8 @@
+true.
+
+true.
+
+
+false.
+
+

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, [])])).

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, [])])]].
+
+

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)
+).

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, [])])]]].
+
+

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)
+).

Spr24/HW/Homework6/q1_4.expected

@@ -0,0 +1,8 @@
+true.
+
+L = [[[empty, bt(3, [bt(4, [])])]]].
+
+
+L = [[[bt(10, []), bt(3, [bt(4, [])])]]].
+
+

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)
+).

Spr24/HW/Homework6/q1_5.expected

@@ -0,0 +1,8 @@
+true.
+
+L = [[3, [bt(4, [])]]].
+
+
+L = [[4, []]].
+
+

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)
+).

Spr24/HW/Homework6/q1_6.expected

@@ -0,0 +1,6 @@
+true.
+
+
+L = [[[-2, 0, 1, 4, 5, 10, 14]]].
+
+

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)
+).