Prolog: add bugs files for license plate problems

1 files changed, 229 insertions, 0 deletions

diff --git a/prolog/problems/license_plates/firstminus_2/bugs.json b/prolog/problems/license_plates/firstminus_2/bugs.json
new file mode 100644
index 0000000..80470e0
--- /dev/null
+++ b/prolog/problems/license_plates/firstminus_2/bugs.json
@@ -0,0 +1,229 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"firstMinus\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (t variable)) (args (list (t variable)))))))",
+    "(clause (head (compound (functor \"firstMinus\") (args variable (args variable)))))",
+    "(clause (binop variable \"is\") (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (args (list (h variable)))))) (binop variable \"is\"))",
+    "(clause (binop variable \"=\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args \"[]\"))))",
+    "(clause (head (compound (functor \"firstMinus\") (args \"[]\" (args \"[]\")))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (args \"[]\")))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (unop - variable)))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable)) (args (list (h (unop - variable))))))))",
+    "(clause (binop \"=\" (list (t variable))))",
+    "(clause (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop variable \"*\")))",
+    "(clause (binop variable \"is\" (binop \"*\" (unop - \"1\"))))",
+    "(clause (binop \"is\" (binop \"*\" (unop - \"1\"))))",
+    "(clause (binop \"is\" (binop variable \"*\" (unop - \"1\"))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable)) (args (list (h variable)))))))",
+    "(clause (binop \"=\" variable))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h (unop - variable)))))",
+    "(clause (binop \"is\" (binop \"0\" \"-\")))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop \"-\" variable)))",
+    "(clause (binop variable \"is\" (binop \"0\" \"-\")))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"firstMinus\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+    "(clause (binop \"is\" (binop \"0\" \"-\" variable)))",
+    "(clause (binop \"is\" (binop (unop - \"1\") \"*\" variable)))",
+    "(clause (binop \"is\" (binop (unop - \"1\") \"*\")))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop \"*\" variable)))",
+    "(clause (binop variable \"is\" (binop (unop - \"1\") \"*\")))",
+    "(clause (binop variable \"is\"))",
+    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" variable))",
+    "(clause (binop variable \">\"))",
+    "(clause (binop \">\" \"0\"))",
+    "(clause (binop variable \">\" \"0\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \">\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args variable))) (binop \"=\" variable))",
+    "(clause (head (compound (functor \"firstMinus\") (args variable))) (binop variable \"=\"))",
+    "(clause (binop \"is\" (unop - variable)))",
+    "(clause (binop \"is\" (binop variable \"-\" \"1\")))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (unop - variable)))",
+    "(clause (binop variable \"is\" (binop \"-\" \"1\")))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"is\"))",
+    "(clause (binop \"is\" (binop \"-\" \"1\")))",
+    "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))",
+    "(clause (binop variable \"is\") (compound (functor \"neg\") (args variable)))",
+    "(clause (binop variable \"is\" (binop \"+\" \"1\")))",
+    "(clause (binop variable \"=\") (binop variable \"=\"))",
+    "(clause (binop \"is\" (binop variable \"+\" \"1\")))",
+    "(clause (binop \"is\" variable))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"is\" (binop variable \"-\")))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+    "(clause (compound (functor \"firstMinus\") (args (args variable))))",
+    "(clause (binop variable \"=<\" \"0\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"=<\"))",
+    "(clause (compound (functor \"firstMinus\") (args (list (h (unop - variable))))))",
+    "(clause (binop \"=<\" \"0\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (t variable))))) (compound (functor \"firstMinus\") (args (list (t variable)))))",
+    "(clause (binop \"=\" (list (h variable))) (binop variable \"is\"))",
+    "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"=\"))",
+    "(clause (binop \"is\" (binop \"+\" \"1\")))",
+    "(clause (head (compound (functor \"firstMinus\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))"
+  ],
+  "rules": [
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args variable (args variable)))))",
+        "(clause (head (compound (functor \"firstMinus\") (args (args (list (h variable)))))) (binop variable \"is\"))"
+      ],
+      "distribution": [
+        0,
+        21
+      ],
+      "quality": 0.8951021122646302
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args variable (args variable)))))"
+      ],
+      "distribution": [
+        8,
+        64
+      ],
+      "quality": 0.856697093946942
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (binop \"=\" (list (t variable))))",
+        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h (unop - variable)))))"
+      ],
+      "distribution": [
+        0,
+        14
+      ],
+      "quality": 0.8317707483775141
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args (list (t variable)) (args (list (t variable)))))))",
+        "(clause (binop variable \"is\"))"
+      ],
+      "distribution": [
+        0,
+        11
+      ],
+      "quality": 0.7754163994415489
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args (list (t variable)) (args (list (t variable)))))))",
+        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" variable))"
+      ],
+      "distribution": [
+        0,
+        11
+      ],
+      "quality": 0.7754163994415489
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (binop \"=\" (list (t variable))))"
+      ],
+      "distribution": [
+        5,
+        29
+      ],
+      "quality": 0.7702393242146663
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop variable \"is\"))"
+      ],
+      "distribution": [
+        6,
+        0
+      ],
+      "quality": 0.6980409395171902
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (binop variable \"is\"))"
+      ],
+      "distribution": [
+        2,
+        12
+      ],
+      "quality": 0.6778064820992294
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args (list (h variable))))) (binop \"=\" (list (h (unop - variable)))))"
+      ],
+      "distribution": [
+        3,
+        15
+      ],
+      "quality": 0.6679863338790486
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))"
+      ],
+      "distribution": [
+        5,
+        0
+      ],
+      "quality": 0.6456595409711998
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \">\"))"
+      ],
+      "distribution": [
+        5,
+        0
+      ],
+      "quality": 0.6456595409711998
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \"=\") (binop variable \"=\"))"
+      ],
+      "distribution": [
+        5,
+        0
+      ],
+      "quality": 0.6456595409711998
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))"
+      ],
+      "distribution": [
+        4,
+        0
+      ],
+      "quality": 0.5830975923071112
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"firstMinus\") (args (list (t variable))))) (compound (functor \"firstMinus\") (args (list (t variable)))))"
+      ],
+      "distribution": [
+        4,
+        0
+      ],
+      "quality": 0.5830975923071112
+    }
+  ]
+}
\ No newline at end of file