From f25e7eac2db09f48e2e96b1c2e0da71ffe0fca3c Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 3 Apr 2017 18:32:04 +0200 Subject: Prolog: add bugs file for the is_subset problem --- prolog/problems/sets/is_subset_2/bugs.json | 144 +++++++++++++++++++++++++++++ 1 file changed, 144 insertions(+) create mode 100644 prolog/problems/sets/is_subset_2/bugs.json diff --git a/prolog/problems/sets/is_subset_2/bugs.json b/prolog/problems/sets/is_subset_2/bugs.json new file mode 100644 index 0000000..8fd6f73 --- /dev/null +++ b/prolog/problems/sets/is_subset_2/bugs.json @@ -0,0 +1,144 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"is_subset\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))))", + "(clause (head (compound (functor \"is_subset\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"is_subset\") (args (list (t variable))))) (compound (functor \"is_subset\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (compound (functor \"is_subset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_subset\") (args variable (args variable)))))", + "(clause (head (compound (functor \"is_subset\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"is_subset\") (args (args (list (t variable)))))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"is_subset\") (args (list (t variable))))))", + "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"is_subset\") (args (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"is_subset\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (list (t variable))))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args \"[]\"))))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (compound (functor \"intersect\") (args variable (args (args variable)))))", + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop variable \"=\"))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 4, + 87 + ], + "quality": 0.9353690906013448 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args (args variable)))) (compound (functor \"is_superset\") (args variable)))" + ], + "distribution": [ + 5, + 88 + ], + "quality": 0.9252174908144657 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"is_subset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 0, + 17 + ], + "quality": 0.9014337839122601 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7915259318308275 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args (list (h variable))))))", + "(clause (head (compound (functor \"is_subset\") (args \"[]\" (args \"[]\")))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.730651028509441 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args (list (h variable)) (args (list (h variable)))))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.7083403657710513 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6591651249080313 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args variable))) (compound (functor \"is_superset\") (args variable)))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6591651249080313 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_subset\") (args variable))) (binop \"=\" variable))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6591651249080313 + } + ] +} \ No newline at end of file -- cgit v1.2.1