summaryrefslogtreecommitdiff
path: root/prolog/problems/license_plates/firstminus_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-04-18 11:15:11 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-04-18 11:15:11 +0200
commit746fa1fb9d1430747b499d667f2cfe1fc77d3718 (patch)
tree773aa422b5d3a66cb555f9af824d3431f710d496 /prolog/problems/license_plates/firstminus_2
parent794d4dc03dec8db33bf8afe8b1c0a126176407d1 (diff)
Prolog: add bugs files for license plate problems
Diffstat (limited to 'prolog/problems/license_plates/firstminus_2')
-rw-r--r--prolog/problems/license_plates/firstminus_2/bugs.json229
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