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/sets/diff_3/bugs.json | 320 ++++++++++++++++++++++++++++++++++ 1 file changed, 320 insertions(+) create mode 100644 prolog/problems/sets/diff_3/bugs.json (limited to 'prolog/problems/sets/diff_3') diff --git a/prolog/problems/sets/diff_3/bugs.json b/prolog/problems/sets/diff_3/bugs.json new file mode 100644 index 0000000..af1c5fd --- /dev/null +++ b/prolog/problems/sets/diff_3/bugs.json @@ -0,0 +1,320 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args \"[]\"))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args variable (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (t variable))))))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args \"[]\")))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"diff\") (args (args \"[]\" (args variable))))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"diff\") (args variable (args (args variable))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args (args variable))))))", + "(clause (compound (functor \"diff\") (args variable)))", + "(clause (binop \"=\" variable))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable (args variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (t variable)))))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"diff\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"diff\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"member\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"intersect\") (args (list (h variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"intersect\") (args (list (t variable)))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"intersect\") (args variable)))", + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))))", + "(clause (compound (functor \"union\") (args variable)) (compound (functor \"intersect\") (args variable)))", + "(clause (compound (functor \"deff\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"diff\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"member\") (args variable)) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (compound (functor \"intersect\") (args (list (t variable)))) (compound (functor \"diff\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"del\") (args (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"diff\") (args variable)) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"diff\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"member\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"recdel\") (args (list (t variable))))) (compound (functor \"recdel\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (list (h variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"recdel\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"recdel\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (list (t variable)))))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"delete\") (args (args variable))))", + "(clause (head (compound (functor \"recdel\") (args \"[]\" (args (args variable))))))", + "(clause (compound (functor \"member\") (args variable)) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (compound (functor \"intersect\") (args (list (h variable)))))", + "(clause (head (compound (functor \"recdel\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"recdel\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"recdel\") (args \"[]\"))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"recdel\") (args (args (args variable))))) (compound (functor \"recdel\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"recdel\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"diff2\") (args (args variable)))) (compound (functor \"diff2\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args variable)) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args variable))))", + "(clause (compound (functor \"intersect\") (args variable)) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"recdel\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"\\+\") (args (compound (functor \"memb\") (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff2\") (args (list (t variable))))) (compound (functor \"diff2\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable (args variable))))))" + ], + "distribution": [ + 43, + 0 + ], + "quality": 0.9538283009756654 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"intersect\") (args variable)))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8921605663515302 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 2, + 29 + ], + "quality": 0.8058998834564192 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 0, + 18 + ], + "quality": 0.8026373362364385 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"diff\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7709101555703018 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args (args variable))))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7709101555703018 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args variable)))))" + ], + "distribution": [ + 5, + 38 + ], + "quality": 0.7687665812906903 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args variable (args \"[]\"))))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 3, + 28 + ], + "quality": 0.7436503702080678 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7416353483923056 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" variable))" + ], + "distribution": [ + 4, + 29 + ], + "quality": 0.7367136645174549 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 7, + 38 + ], + "quality": 0.7349915900375226 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args (list (t variable)))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6641015019994071 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6641015019994071 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"count\") (args variable)))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.5616708435793863 + } + ] +} \ No newline at end of file -- cgit v1.2.1