Prolog: add bugs files for the first six groups

1 files changed, 311 insertions, 0 deletions

diff --git a/prolog/problems/sets/is_superset_2/bugs.json b/prolog/problems/sets/is_superset_2/bugs.json
new file mode 100644
index 0000000..25a6a80
--- /dev/null
+++ b/prolog/problems/sets/is_superset_2/bugs.json
@@ -0,0 +1,311 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))",
+    "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))) (compound (functor \"is_superset\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))))",
+    "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"member\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"intersect\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"member\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args \"[]\")))))",
+    "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))",
+    "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))",
+    "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_subset\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args (args variable)))))",
+    "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))",
+    "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args variable (args variable)))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))",
+    "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))",
+    "(clause (compound (functor \"is_superset\") (args variable)))",
+    "(clause (compound (functor \"memb\") (args (args variable))))",
+    "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))",
+    "(clause (unop \\+ (compound (functor \"del\") (args (args (args variable))))))",
+    "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"member\") (args (args variable))))",
+    "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \">\"))",
+    "(clause (binop variable \">\" \"0\"))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))",
+    "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))",
+    "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))",
+    "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
+    "(clause (head (compound (functor \"is_supetset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))",
+    "(clause (binop \">\" \"0\"))",
+    "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))"
+  ],
+  "rules": [
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (args variable)))))"
+      ],
+      "distribution": [
+        44,
+        0
+      ],
+      "quality": 0.9573148012450367
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))"
+      ],
+      "distribution": [
+        42,
+        0
+      ],
+      "quality": 0.9551840608458025
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))"
+      ],
+      "distribution": [
+        77,
+        2
+      ],
+      "quality": 0.9489556270523528
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
+        "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))",
+        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))"
+      ],
+      "distribution": [
+        5,
+        130
+      ],
+      "quality": 0.9441676011815278
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))",
+        "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))"
+      ],
+      "distribution": [
+        0,
+        28
+      ],
+      "quality": 0.920769681601247
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
+        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
+        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))"
+      ],
+      "distribution": [
+        9,
+        132
+      ],
+      "quality": 0.9170297657688938
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
+        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))"
+      ],
+      "distribution": [
+        11,
+        133
+      ],
+      "quality": 0.9065030379779777
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))"
+      ],
+      "distribution": [
+        0,
+        18
+      ],
+      "quality": 0.894789570952922
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))"
+      ],
+      "distribution": [
+        18,
+        0
+      ],
+      "quality": 0.894467708395349
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))",
+        "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))",
+        "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))"
+      ],
+      "distribution": [
+        19,
+        165
+      ],
+      "quality": 0.8824079410499159
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.8650267548667329
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))"
+      ],
+      "distribution": [
+        14,
+        0
+      ],
+      "quality": 0.8650267548667329
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"conc\") (args variable)))"
+      ],
+      "distribution": [
+        9,
+        0
+      ],
+      "quality": 0.7907865618907618
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))",
+        "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))"
+      ],
+      "distribution": [
+        11,
+        0
+      ],
+      "quality": 0.7789503302060591
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))"
+      ],
+      "distribution": [
+        8,
+        0
+      ],
+      "quality": 0.7664689004747853
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))"
+      ],
+      "distribution": [
+        8,
+        0
+      ],
+      "quality": 0.7664689004747853
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))"
+      ],
+      "distribution": [
+        7,
+        0
+      ],
+      "quality": 0.733244004247434
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        6,
+        0
+      ],
+      "quality": 0.6922614505910474
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))"
+      ],
+      "distribution": [
+        0,
+        5
+      ],
+      "quality": 0.6497211701430571
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))"
+      ],
+      "distribution": [
+        5,
+        0
+      ],
+      "quality": 0.6482582581497028
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))"
+      ],
+      "distribution": [
+        5,
+        0
+      ],
+      "quality": 0.6482582581497028
+    }
+  ]
+}
\ No newline at end of file