Prolog: add bugs files for license plate problems

1 files changed, 227 insertions, 0 deletions

diff --git a/prolog/problems/license_plates/genexp_2/bugs.json b/prolog/problems/license_plates/genexp_2/bugs.json
new file mode 100644
index 0000000..1ed260f
--- /dev/null
+++ b/prolog/problems/license_plates/genexp_2/bugs.json
@@ -0,0 +1,227 @@
+{
+  "patterns": [
+    "(clause (binop variable \"=\"))",
+    "(clause (head (compound (functor \"genexp\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args variable)))))",
+    "(clause (binop variable \"=..\"))",
+    "(clause (compound (functor \"memb\") (args variable)) (binop \"=..\" (list (h variable))))",
+    "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (binop \"=..\" (list (t (list (t (list (h variable))))))))",
+    "(clause (binop \"=..\" (list (t (list (h variable))))))",
+    "(clause (head (compound (functor \"genexp\") (args (args variable)))) (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=..\" (list (t (list (h variable))))))",
+    "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=..\" (list (t (list (h variable))))))",
+    "(clause (head (compound (functor \"genexp\") (args (args variable)))) (binop variable \"=..\"))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))) (binop \"=..\" (list (t (list (t (list (h variable))))))))",
+    "(clause (binop \"=\" (binop \"+\" variable)))",
+    "(clause (binop \"=\" (binop variable \"+\")))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t variable))))) (compound (functor \"genexp\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=..\" (list (t (list (t (list (h variable))))))))",
+    "(clause (binop variable \"=..\") (compound (functor \"conc\") (args (args (list (h variable))))))",
+    "(clause (head (compound (functor \"genexp\") (args \"[]\"))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=..\" (list (t (list (t (list (h variable))))))))",
+    "(clause (binop \"=\" (binop \"-\" variable)))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (args \"[]\")))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"genexp\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args \"[]\" (args \"[]\")))))",
+    "(clause (binop \"=\" (binop variable \"-\")))",
+    "(clause (binop variable \"=..\") (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (compound (functor \"genexp\") (args (list (t variable)))))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+    "(clause (compound (functor \"member\") (args variable)) (binop \"=..\" (list (h variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"-\")))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"*\")))",
+    "(clause (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"/\")))",
+    "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"genexp\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args (list (h variable)))))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=..\" (list (t (list (h variable))))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"+\" variable)))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"genexp\") (args variable)))",
+    "(clause (binop \"=\" (binop \"*\" variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (args variable)))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"/\" variable)))",
+    "(clause (binop \"=\" (binop variable \"*\")))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"*\" variable)))",
+    "(clause (binop \"=..\" variable))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"-\" variable)))",
+    "(clause (binop variable \"=\") (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (head (compound (functor \"genexp2\") (args (args variable)))) (binop variable \"=\"))",
+    "(clause (head (compound (functor \"genexp\") (args variable))))",
+    "(clause (head (compound (functor \"genexp2\") (args (list (t variable))))) (compound (functor \"genexp2\") (args variable)))",
+    "(clause (binop variable \"\\=\" \"[]\"))",
+    "(clause (binop \"\\=\" \"[]\"))",
+    "(clause (binop variable \"\\=\") (compound (functor \"genexp\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"+\" variable)))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (binop variable \"=\") (binop variable \"=\"))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"*\" variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (args (list (h variable)))))) (binop variable \"=..\"))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"-\" variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"/\" variable)))",
+    "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (binop variable \"=..\") (binop \"=\" variable))",
+    "(clause (head (compound (functor \"genexp\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"genexp\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))))",
+    "(clause (binop variable \"=\") (compound (functor \"genexp\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=..\" (list (t (list (t (list (h variable))))))))",
+    "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (compound (functor \"genexp\") (args (list (t variable)))))",
+    "(clause (compound (functor \"conc\") (args (list (t variable)))) (compound (functor \"genexp\") (args (list (t variable)))))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=..\" (list (t (list (h variable))))))",
+    "(clause (compound (functor \"conc\") (args (list (h variable)))) (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))))",
+    "(clause (compound (functor \"genexp\") (args (list (t variable)))) (compound (functor \"genexp\") (args (list (t variable)))))",
+    "(clause (binop variable \"=\") (binop \"=..\" variable))",
+    "(clause (head (compound (functor \"genexp\") (args variable))) (binop variable \"=\"))",
+    "(clause (compound (functor \"genexp\") (args (list (h variable)))) (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (compound (functor \"conc\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"\\=\"))",
+    "(clause (binop \"=\" (binop \"+\" variable)) (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (compound (functor \"conc\") (args variable)) (binop variable \"\\=\"))",
+    "(clause (binop \"=\" (list (h variable) (t variable))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" variable))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (compound (functor \"genexp\") (args variable)))",
+    "(clause (binop variable \"=\") (compound (functor \"memb\") (args (args variable))))",
+    "(clause (binop variable \"=..\") (compound (functor \"conc\") (args (args variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (args (list (t variable)))))) (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=..\" variable))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=..\" variable))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t variable))))) (binop variable \"=\"))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"+\")))",
+    "(clause (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (binop \"=\" \"[]\"))",
+    "(clause (binop variable \"=\" \"[]\"))",
+    "(clause (binop variable \"=..\") (binop \"=\" (list (h variable))))",
+    "(clause (binop \"=..\" (list (h variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (binop \"=\" (list (t variable))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"-\")))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"/\")))",
+    "(clause (binop \"=\" (binop \"-\" variable)) (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (binop variable \"=..\") (binop \"=..\" (list (t (list (h variable))))))",
+    "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"append\") (args (args (args variable)))))",
+    "(clause (binop \"=..\" (list (t (list (t (list (h variable))))))) (compound (functor \"genexp\") (args (args variable))))",
+    "(clause (binop variable \"is\") (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (head (compound (functor \"genexp2\") (args (list (h variable)) (args variable)))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" variable))",
+    "(clause (compound (functor \"genexp\") (args variable)) (compound (functor \"genexp\") (args variable)))",
+    "(clause (binop variable \"=..\") (binop \"=..\" (list (t (list (t (list (h variable))))))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"*\")))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (h variable))))))",
+    "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))) (compound (functor \"genexp\") (args (list (h variable)))))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))",
+    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (args variable)))) (compound (functor \"genexp2\") (args (args variable))))",
+    "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))))",
+    "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+    "(clause (compound (functor \"genexp\") (args (list (t variable)))))",
+    "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"rev\") (args variable)))",
+    "(clause (compound (functor \"conc\") (args (args variable))))",
+    "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"genexp\") (args (list (t variable)))))",
+    "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))) (compound (functor \"genexp\") (args variable)))",
+    "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))",
+    "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+    "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))"
+  ],
+  "rules": [
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args (list (h variable)))))))"
+      ],
+      "distribution": [
+        38,
+        0
+      ],
+      "quality": 0.952514892016524
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args (args \"[]\")))))"
+      ],
+      "distribution": [
+        64,
+        2
+      ],
+      "quality": 0.9352445958874126
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args \"[]\"))))"
+      ],
+      "distribution": [
+        69,
+        3
+      ],
+      "quality": 0.9239003599850174
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))"
+      ],
+      "distribution": [
+        40,
+        1
+      ],
+      "quality": 0.9184237224154168
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args variable))))"
+      ],
+      "distribution": [
+        24,
+        0
+      ],
+      "quality": 0.9153270798558547
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"genexp\") (args (args variable))))"
+      ],
+      "distribution": [
+        20,
+        0
+      ],
+      "quality": 0.894160931018167
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"append\") (args (args (args variable)))))"
+      ],
+      "distribution": [
+        0,
+        3
+      ],
+      "quality": 0.457726715541855
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args variable)))))",
+        "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"-\")))"
+      ],
+      "distribution": [
+        0,
+        4
+      ],
+      "quality": 0.4330161100822562
+    }
+  ]
+}
\ No newline at end of file