From 746fa1fb9d1430747b499d667f2cfe1fc77d3718 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 18 Apr 2017 11:15:11 +0200 Subject: Prolog: add bugs files for license plate problems --- .../problems/license_plates/firstminus_2/bugs.json | 229 +++++++++++++++++++++ 1 file changed, 229 insertions(+) create mode 100644 prolog/problems/license_plates/firstminus_2/bugs.json (limited to 'prolog/problems/license_plates/firstminus_2') 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 -- cgit v1.2.1