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/is_superset_2/bugs.json | 311 +++++++++++++++++++++++++++ 1 file changed, 311 insertions(+) create mode 100644 prolog/problems/sets/is_superset_2/bugs.json (limited to 'prolog/problems/sets/is_superset_2') diff --git a/prolog/problems/sets/is_superset_2/bugs.json b/prolog/problems/sets/is_superset_2/bugs.json new file mode 100644 index 0000000..25a6a80 --- /dev/null +++ b/prolog/problems/sets/is_superset_2/bugs.json @@ -0,0 +1,311 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_subset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))", + "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args variable (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))", + "(clause (compound (functor \"is_superset\") (args variable)))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (unop \\+ (compound (functor \"del\") (args (args (args variable))))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \">\"))", + "(clause (binop variable \">\" \"0\"))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_supetset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (binop \">\" \"0\"))", + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9573148012450367 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))" + ], + "distribution": [ + 42, + 0 + ], + "quality": 0.9551840608458025 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))" + ], + "distribution": [ + 77, + 2 + ], + "quality": 0.9489556270523528 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 5, + 130 + ], + "quality": 0.9441676011815278 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))" + ], + "distribution": [ + 0, + 28 + ], + "quality": 0.920769681601247 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 9, + 132 + ], + "quality": 0.9170297657688938 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 11, + 133 + ], + "quality": 0.9065030379779777 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))" + ], + "distribution": [ + 0, + 18 + ], + "quality": 0.894789570952922 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.894467708395349 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 19, + 165 + ], + "quality": 0.8824079410499159 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8650267548667329 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8650267548667329 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7907865618907618 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7789503302060591 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7664689004747853 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7664689004747853 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.733244004247434 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6922614505910474 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.6497211701430571 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6482582581497028 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6482582581497028 + } + ] +} \ No newline at end of file -- cgit v1.2.1