From 92c49ac708e04e545da6e7aafe91cac8f223f475 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 18:35:01 +0100 Subject: Prolog: add bugs files for the first six groups --- prolog/problems/lists_advanced/sum_2/bugs.json | 403 +++++++++++++++++++++++++ 1 file changed, 403 insertions(+) create mode 100644 prolog/problems/lists_advanced/sum_2/bugs.json (limited to 'prolog/problems/lists_advanced/sum_2') diff --git a/prolog/problems/lists_advanced/sum_2/bugs.json b/prolog/problems/lists_advanced/sum_2/bugs.json new file mode 100644 index 0000000..8d43a45 --- /dev/null +++ b/prolog/problems/lists_advanced/sum_2/bugs.json @@ -0,0 +1,403 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args (list (t variable))))) (compound (functor \"sum\") (args variable)))", + "(clause (head (compound (functor \"sum\") (args \"[]\"))))", + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))", + "(clause (head (compound (functor \"sum\") (args \"[]\" (args \"0\")))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"sum\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"sum\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"sum\") (args (args variable)))) (compound (functor \"sum\") (args (args variable))))", + "(clause (binop variable \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"sum\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop variable \"is\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"sum\") (args variable)))", + "(clause (binop \"is\" \"0\"))", + "(clause (binop variable \"is\" \"0\"))", + "(clause (binop variable \"=\" \"0\"))", + "(clause (binop \"=\" \"0\"))", + "(clause (binop variable \"=\"))", + "(clause (binop \"is\" (binop variable \"+\")) (compound (functor \"sum\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"sum\") (args (list (t \"[]\")) (args variable)))))", + "(clause (head (compound (functor \"sum\") (args (list (t \"[]\"))))))", + "(clause (binop variable \"is\") (compound (functor \"sum\") (args (args variable))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"=\" (binop variable \"+\")))", + "(clause (binop \"is\" (binop variable \"+\" \"1\")))", + "(clause (binop variable \"is\" (binop \"+\" \"1\")))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" variable))", + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args (args variable)))))", + "(clause (head (compound (functor \"sum\") (args (list (t (list (h variable))))))) (compound (functor \"sum\") (args variable)))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"=\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"sum\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"sum\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"sum\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"sum\") (args (args (binop \"+\" variable))))) (compound (functor \"sum\") (args (args variable))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable)) (args (binop variable \"+\"))))))", + "(clause (binop \"is\" (binop \"+\" variable)) (compound (functor \"sum\") (args (args variable))))", + "(clause (binop variable \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (args (binop variable \"is\"))))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 50, + 0 + ], + "quality": 0.9632380563802319 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 37, + 0 + ], + "quality": 0.9496444143112104 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (list (h variable))))))" + ], + "distribution": [ + 35, + 0 + ], + "quality": 0.9466471466478726 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"sum\") (args (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9409973039853357 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 1, + 60 + ], + "quality": 0.9404658615540767 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (list (t variable))))) (compound (functor \"sum\") (args variable)))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))" + ], + "distribution": [ + 6, + 120 + ], + "quality": 0.9297290996795977 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (compound (functor \"sum\") (args (args variable))))", + "(clause (head (compound (functor \"sum\") (args (list (t variable))))) (compound (functor \"sum\") (args variable)))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9237451844781032 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (compound (functor \"sum\") (args (args variable))))" + ], + "distribution": [ + 36, + 1 + ], + "quality": 0.9180107826985625 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args \"[]\"))))", + "(clause (head (compound (functor \"sum\") (args (list (t variable))))) (compound (functor \"sum\") (args variable)))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop \"+\" variable)))" + ], + "distribution": [ + 10, + 130 + ], + "quality": 0.9073820930208183 + }, + { + "class": false, + "condition": [ + "(clause (binop \"is\" (binop variable \"+\")) (compound (functor \"sum\") (args (args variable))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8963126299115304 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))" + ], + "distribution": [ + 5, + 64 + ], + "quality": 0.8839500532375172 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args \"[]\"))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 5, + 62 + ], + "quality": 0.8774224263730913 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"=\" (binop variable \"+\")))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8544022016698913 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 18, + 125 + ], + "quality": 0.8529414910677036 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))", + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 8, + 61 + ], + "quality": 0.8398456460259225 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.814606816591379 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args \"[]\"))))", + "(clause (compound (functor \"sum\") (args (args variable))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 28, + 136 + ], + "quality": 0.8099451412928996 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"=\" (binop \"+\" variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7945743104893194 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (list (t (list (h variable))))))) (compound (functor \"sum\") (args variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7945743104893194 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"sum\") (args (args \"0\")))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7413419315141939 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args (binop \"+\" variable))))) (compound (functor \"sum\") (args (args variable))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7392363690313698 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args \"[]\" (args \"[]\")))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7392363690313698 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" (binop \"+\" variable)))" + ], + "distribution": [ + 1, + 13 + ], + "quality": 0.7149447263575659 + }, + { + "class": false, + "condition": [ + "(clause (binop \"is\" (binop \"+\" variable)) (compound (functor \"sum\") (args (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6998879729141584 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"sum\") (args (args variable))))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6569507265887357 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6569507265887357 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args (binop variable \"is\"))))))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6569507265887357 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"is\" (binop \"+\" variable)))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6569507265887357 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sum\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"sum\") (args variable))) (binop variable \"=\"))" + ], + "distribution": [ + 4, + 18 + ], + "quality": 0.6399461602289443 + } + ] +} \ No newline at end of file -- cgit v1.2.1