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/sorting/is_sorted_1/bugs.json | 287 ++++++++++++++++++++++++++ 1 file changed, 287 insertions(+) create mode 100644 prolog/problems/sorting/is_sorted_1/bugs.json (limited to 'prolog/problems/sorting/is_sorted_1') diff --git a/prolog/problems/sorting/is_sorted_1/bugs.json b/prolog/problems/sorting/is_sorted_1/bugs.json new file mode 100644 index 0000000..b225a78 --- /dev/null +++ b/prolog/problems/sorting/is_sorted_1/bugs.json @@ -0,0 +1,287 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (list (t variable)))))", + "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args variable)))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"<\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"is_sorted\") (args variable))) (binop variable \"=\"))", + "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args variable)))", + "(clause (binop \"<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"=<\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))", + "(clause (binop \"<\" variable))", + "(clause (compound (functor \"is_sorted\") (args (list (h variable)))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_sorted\") (args variable)))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop \">=\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable) (t \"[]\"))))))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable) (t (list (t \"[]\"))))))))", + "(clause (binop \"=<\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"==\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">=\"))", + "(clause (binop \"==\" (list (h variable))))", + "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"==\"))", + "(clause (head (compound (functor \"is_sorted\") (args variable))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \">=\"))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \">=\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"\\==\"))", + "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"\\==\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"is_sorted\") (args variable)))", + "(clause (binop \"<\" variable) (binop variable \"<\"))", + "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"<\" variable))", + "(clause (binop variable \"==\"))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \"<\"))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop \"<\" variable))", + "(clause (compound (functor \"is_sorted\") (args variable)) (binop variable \"=\"))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))", + "(clause (binop variable \"<\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args (binop \"|\" variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args (list (t variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=\"))", + "(clause (binop variable \"==\") (binop \"<\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \">=\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (compound (functor \"min\") (args (args variable))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">\"))", + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (compound (functor \"min\") (args (list (h variable)) (args variable))))", + "(clause (binop variable \"is\" (binop \"+\" \"1\")))", + "(clause (binop \"is\" (binop variable \"+\" \"1\")))", + "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))))", + "(clause (compound (functor \"tab\") (args \"2\")))", + "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"is_sorted\") (args variable)))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop \">\" variable))", + "(clause (binop \">=\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"==\"))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (list (h variable)))) (binop \"=<\" variable))", + "(clause (binop \">=\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \"=<\"))", + "(clause (binop variable \"==\") (binop \"=<\" variable))", + "(clause (binop \"=<\" variable) (binop \"=<\" variable))", + "(clause (binop variable \"=<\") (binop variable \"=<\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"==\" variable))", + "(clause (binop variable \">=\") (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (compound (functor \"is_sorted\") (args variable)) (binop \"=<\" variable))", + "(clause (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"printlist\") (args (args (args variable))))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"printlist\") (args (args variable)))) (compound (functor \"printlist\") (args (args variable))))", + "(clause (head (compound (functor \"printlist\") (args (list (h variable))))) (compound (functor \"write\") (args variable)))", + "(clause (binop \"=<\" variable) (binop variable \"=<\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"is_sorted\") (args variable)))", + "(clause (head (compound (functor \"printlist\") (args (list (t variable))))) (compound (functor \"printlist\") (args variable)))", + "(clause (compound (functor \"is_sorted\") (args (list (h variable)))) (binop \"<\" variable))", + "(clause (binop variable \"is\") (compound (functor \"printlist\") (args (args (args variable)))))", + "(clause (binop variable \">=\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"min\") (args (list (t variable)))))", + "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"is_sirted\") (args (list (t (list (h variable))))))) (binop \">=\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))", + "(clause (compound (functor \"is_sorted\") (args (list (t variable)))))", + "(clause (binop \">=\" variable) (compound (functor \"is_sorted_prev\") (args (args variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"<\" variable))", + "(clause (binop variable \"=\") (compound (functor \"is_sorted\") (args (list (t variable)))))", + "(clause (binop \"=<\" variable) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"is_sorted\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop variable \">\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"is_sorted\") (args variable))) (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"is_sorted_prev\") (args (list (h variable))))) (binop \">=\" variable))", + "(clause (head (compound (functor \"is_sorted_prev\") (args (list (h variable))))) (compound (functor \"is_sorted_prev\") (args (args variable))))", + "(clause (head (compound (functor \"is_sorted_prev\") (args (list (t variable))))) (compound (functor \"is_sorted_prev\") (args variable)))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t variable))))) (compound (functor \"is_sorted\") (args (list (t variable)))))", + "(clause (compound (functor \"is_sorted\") (args (binop variable \"|\"))) (binop \"=<\" variable))", + "(clause (binop variable \"=\") (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"is_sorted_prev\") (args (args variable)))) (binop variable \">=\"))", + "(clause (binop variable \"=<\"))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (t variable))))))) (compound (functor \"is_sorted\") (args variable)))" + ], + "distribution": [ + 128, + 1 + ], + "quality": 0.9775613587613966 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"<\"))" + ], + "distribution": [ + 155, + 5 + ], + "quality": 0.9535087005106103 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))" + ], + "distribution": [ + 7, + 127 + ], + "quality": 0.9372780608306315 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (binop \"=<\" variable) (compound (functor \"is_sorted\") (args (list (h variable)))))" + ], + "distribution": [ + 6, + 119 + ], + "quality": 0.9279482952616421 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=<\" variable))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.898397072632486 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \">=\"))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8776592983980024 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args variable))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8708864345755352 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"is_sorted\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8391288460195767 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (binop variable \"|\"))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8165427141681832 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (compound (functor \"is_sorted\") (args (list (h variable)))))" + ], + "distribution": [ + 37, + 134 + ], + "quality": 0.7647252790331621 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"is_sorted\") (args (list (t \"[]\"))))))" + ], + "distribution": [ + 2, + 20 + ], + "quality": 0.7537186004546292 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 3, + 20 + ], + "quality": 0.6956803513785101 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_sorted\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_sorted\") (args (list (h variable))))) (binop variable \"=<\"))" + ], + "distribution": [ + 65, + 153 + ], + "quality": 0.6878219256560004 + } + ] +} \ No newline at end of file -- cgit v1.2.1