Prolog: add bugs files for trees problems

1 files changed, 383 insertions, 0 deletions

diff --git a/prolog/problems/trees/depthbt_2/bugs.json b/prolog/problems/trees/depthbt_2/bugs.json
new file mode 100644
index 0000000..8058d2b
--- /dev/null
+++ b/prolog/problems/trees/depthbt_2/bugs.json
@@ -0,0 +1,383 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (binop variable \"is\"))",
+    "(clause (binop \"is\" (binop \"+\" \"1\")))",
+    "(clause (binop variable \"is\" (binop \"+\" \"1\")))",
+    "(clause (binop \"is\" (binop variable \"+\" \"1\")))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depthBT\") (args variable)))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depthBT\") (args variable)))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"is\"))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))))",
+    "(clause (binop \">=\" variable))",
+    "(clause (binop \">\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">\"))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \">\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \">=\" variable))",
+    "(clause (binop variable \">\") (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \">=\") (binop \"is\" (binop variable \"+\")))",
+    "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))",
+    "(clause (binop variable \">\"))",
+    "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (binop variable \">=\"))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"<\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"=<\"))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=<\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"<\"))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" variable))",
+    "(clause (head (compound (functor \"depthBT\") (args (args \"1\")))))",
+    "(clause (binop \"=<\" variable) (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"=\"))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args variable))) (args \"1\")))))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=\" variable))",
+    "(clause (binop \"<\" variable) (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"is\") (binop variable \"is\"))",
+    "(clause (binop variable \"is\" (binop \"1\" \"+\")))",
+    "(clause (binop \"is\" (binop \"1\" \"+\")))",
+    "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (compound (functor \"max\") (args (args variable))))",
+    "(clause (binop \"is\" (binop \"1\" \"+\" variable)))",
+    "(clause (binop variable \"=<\"))",
+    "(clause (binop variable \"is\") (binop \"is\" (binop variable \"+\")))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))",
+    "(clause (binop variable \"<\"))",
+    "(clause (binop variable \">=\") (binop \"is\" variable))",
+    "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"is\") (binop \"=\" variable))",
+    "(clause (binop variable \">\") (binop \"=\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"is\"))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depth\") (args variable)))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depth\") (args variable)))",
+    "(clause (binop \"is\" variable))",
+    "(clause (head (compound (functor \"depthBT\") (args variable))) (binop variable \"=\"))",
+    "(clause (binop \"<\" variable) (binop \"is\" variable))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))",
+    "(clause (binop \"<\" variable))",
+    "(clause (compound (functor \"depth\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"depthBT\") (args variable)))",
+    "(clause (binop \"=<\" variable))",
+    "(clause (binop variable \">\") (binop \"is\" variable))",
+    "(clause (compound (functor \"depth\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))",
+    "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"depthBT\") (args variable)))",
+    "(clause (binop variable \"=\" (binop \"+\" \"1\")))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))))",
+    "(clause (binop \"=\" (binop variable \"+\" \"1\")))",
+    "(clause (binop \"=\" (binop \"+\" \"1\")))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args variable)))",
+    "(clause (binop variable \">=\") (binop \"=\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (args variable))))",
+    "(clause (head (compound (functor \"max\") (args (args (args variable))))) (binop variable \"is\"))",
+    "(clause (compound (functor \"depth\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))",
+    "(clause (binop \"=\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))",
+    "(clause (head (compound (functor \"depth\") (args (compound (functor \"b\") (args (args variable)))))))",
+    "(clause (binop \"<\" variable) (binop \"is\" (binop \"+\" variable)))",
+    "(clause (compound (functor \"depthBT\") (args variable)) (compound (functor \"depthBT\") (args variable)))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"+\")))",
+    "(clause (compound (functor \"max\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"<\") (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop \">=\" variable) (binop \"<\" variable))",
+    "(clause (head (compound (functor \"depthBT\") (args (args variable)))))",
+    "(clause (binop \">=\" variable) (binop \"is\" variable))",
+    "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=\" (binop variable \"+\")))",
+    "(clause (binop \"is\" (binop (binop variable \"+\") \"+\" \"1\")))",
+    "(clause (binop \"is\" (binop (binop \"+\" variable) \"+\" \"1\")))",
+    "(clause (binop \"is\" (binop variable \"+\")) (binop \"=\" variable))",
+    "(clause (binop \"is\" (binop variable \"+\")) (binop variable \">\"))",
+    "(clause (binop \"is\" (binop \"+\" variable)))",
+    "(clause (binop variable \"=\") (binop \"is\" (binop variable \"+\")))",
+    "(clause (binop variable \"is\") (binop variable \">\"))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable (args variable)))))))",
+    "(clause (compound (functor \"depth\") (args (args variable))) (binop \">=\" variable))",
+    "(clause (binop variable \"is\") (binop \">\" variable))",
+    "(clause (binop variable \"=\" \"0\"))",
+    "(clause (binop \"is\" \"1\"))",
+    "(clause (binop \"=\" \"0\"))",
+    "(clause (binop variable \"is\" \"1\"))",
+    "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args variable (args variable))))))))",
+    "(clause (compound (functor \"depth\") (args (args variable))) (binop variable \">=\"))",
+    "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \">\"))",
+    "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \">=\" variable))",
+    "(clause (binop variable \"is\") (binop variable \">=\"))",
+    "(clause (compound (functor \"max\") (args (list (h variable)))))",
+    "(clause (binop variable \">=\") (binop variable \"<\"))",
+    "(clause (head (compound (functor \"max\") (args (args (args variable))))) (binop variable \">=\"))",
+    "(clause (head (compound (functor \"depth\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depth\") (args variable)))",
+    "(clause (head (compound (functor \"max\") (args variable (args (args variable))))))",
+    "(clause (head (compound (functor \"max\") (args variable))) (binop variable \">\"))",
+    "(clause (binop variable \">=\") (binop \"is\" (binop \"+\" variable)))",
+    "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \">\" variable))",
+    "(clause (head (compound (functor \"max\") (args variable))) (binop \"is\" variable))",
+    "(clause (binop variable \"is\") (binop variable \"=\"))",
+    "(clause (binop \"is\" variable) (binop variable \"<\"))",
+    "(clause (compound (functor \"depthBT\") (args variable)))",
+    "(clause (binop variable \"is\") (binop \">=\" variable))",
+    "(clause (binop \"is\" (binop variable \"+\")) (binop variable \"=<\"))",
+    "(clause (binop \"=<\" variable) (binop \"is\" variable))",
+    "(clause (head (compound (functor \"max\") (args variable))) (binop variable \">=\"))",
+    "(clause (binop variable \"is\") (compound (functor \"max\") (args (list (h variable)))))",
+    "(clause (head (compound (functor \"max\") (args (args variable (args variable))))))",
+    "(clause (head (compound (functor \"depth\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depth\") (args variable)))",
+    "(clause (binop variable \"<\") (binop variable \"is\"))",
+    "(clause (compound (functor \"max\") (args (args variable))))",
+    "(clause (head (compound (functor \"depthBT\") (args (args variable)))) (compound (functor \"depthBT\") (args (args variable))))",
+    "(clause (binop variable \">\") (binop \"is\" (binop \"+\" variable)))",
+    "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \"is\" variable))"
+  ],
+  "rules": [
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))))",
+        "(clause (binop variable \"is\"))"
+      ],
+      "distribution": [
+        55,
+        1
+      ],
+      "quality": 0.9366155799012119
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))))"
+      ],
+      "distribution": [
+        75,
+        5
+      ],
+      "quality": 0.9068719016525688
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"depth\") (args variable)))"
+      ],
+      "distribution": [
+        18,
+        0
+      ],
+      "quality": 0.88342672157224
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))",
+        "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))"
+      ],
+      "distribution": [
+        4,
+        58
+      ],
+      "quality": 0.8786972541533745
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"depth\") (args variable)))"
+      ],
+      "distribution": [
+        17,
+        0
+      ],
+      "quality": 0.8763783057741319
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))",
+        "(clause (binop variable \">\") (binop \"is\" (binop variable \"+\")))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">\"))"
+      ],
+      "distribution": [
+        0,
+        21
+      ],
+      "quality": 0.8624830571857203
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \"=\"))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"=\" variable))"
+      ],
+      "distribution": [
+        16,
+        0
+      ],
+      "quality": 0.827214870304354
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"depth\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))"
+      ],
+      "distribution": [
+        12,
+        0
+      ],
+      "quality": 0.8189377121994933
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">\"))"
+      ],
+      "distribution": [
+        1,
+        22
+      ],
+      "quality": 0.8144128532392234
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (compound (functor \"b\") (args (args (args variable))))))))"
+      ],
+      "distribution": [
+        11,
+        0
+      ],
+      "quality": 0.8013049557929117
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \"is\"))"
+      ],
+      "distribution": [
+        10,
+        0
+      ],
+      "quality": 0.7814052617118917
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"+\")))"
+      ],
+      "distribution": [
+        9,
+        0
+      ],
+      "quality": 0.7547051760861178
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"depth\") (args (args variable))) (binop \"is\" (binop variable \"+\")))"
+      ],
+      "distribution": [
+        8,
+        0
+      ],
+      "quality": 0.7240209586644614
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))",
+        "(clause (binop variable \">\") (binop \"is\" (binop variable \"+\")))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \">\" variable))"
+      ],
+      "distribution": [
+        19,
+        59
+      ],
+      "quality": 0.6952644822192884
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (args variable)))))"
+      ],
+      "distribution": [
+        7,
+        0
+      ],
+      "quality": 0.6819019447846737
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \"=\" (binop \"+\" \"1\")))"
+      ],
+      "distribution": [
+        7,
+        0
+      ],
+      "quality": 0.6819019447846737
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))",
+        "(clause (binop \"is\" (binop variable \"+\")))"
+      ],
+      "distribution": [
+        12,
+        35
+      ],
+      "quality": 0.6526722399516018
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+        "(clause (binop variable \"is\"))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop variable \">=\"))"
+      ],
+      "distribution": [
+        22,
+        57
+      ],
+      "quality": 0.6437125697968822
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"depthBT\") (args (args \"0\")))))",
+        "(clause (compound (functor \"depthBT\") (args (args variable))) (binop \"is\" (binop variable \"+\")))",
+        "(clause (binop variable \"is\"))"
+      ],
+      "distribution": [
+        50,
+        101
+      ],
+      "quality": 0.6343527335143584
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (binop variable \">=\") (binop \"is\" (binop \"+\" variable)))"
+      ],
+      "distribution": [
+        0,
+        5
+      ],
+      "quality": 0.6063748391885129
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (binop \"=<\" variable) (binop \"is\" (binop variable \"+\")))"
+      ],
+      "distribution": [
+        14,
+        22
+      ],
+      "quality": 0.4751491653292199
+    }
+  ]
+}
\ No newline at end of file