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/powerset_2/bugs.json | 219 ++++++++++++++++++++++++++++++ 1 file changed, 219 insertions(+) create mode 100644 prolog/problems/sets/powerset_2/bugs.json (limited to 'prolog/problems/sets/powerset_2') diff --git a/prolog/problems/sets/powerset_2/bugs.json b/prolog/problems/sets/powerset_2/bugs.json new file mode 100644 index 0000000..3b9a00b --- /dev/null +++ b/prolog/problems/sets/powerset_2/bugs.json @@ -0,0 +1,219 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"findall\") (args (args (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\"))))", + "(clause (head (compound (functor \"powerset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"powerset\") (args (list (t variable))))) (compound (functor \"powerset\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (h \"[]\")))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args (list (h \"[]\")))))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args variable))))))", + "(clause (head (compound (functor \"powerset\") (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (t variable)))))) (compound (functor \"powerset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (compound (functor \"findall\") (args variable)))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"powerset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"subset\") (args (args variable))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"parent\") (args (args variable)))))))", + "(clause (compound (functor \"subset\") (args (args variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"powerset\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args (list (t variable))))) (compound (functor \"findall\") (args (args (compound (functor \"parent\") (args variable))))))", + "(clause (compound (functor \"findall\") (args (args (args variable)))) (compound (functor \"powerset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (h variable)))))) (compound (functor \"subset\") (args (args variable))))", + "(clause (compound (functor \"findall\") (args (args (args variable)))))", + "(clause (compound (functor \"subset\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"powerset\") (args variable)))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"is_subset\") (args variable))))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))) (compound (functor \"poverset\") (args variable)))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable))) (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args (list (t variable))))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"parent\") (args variable))))) (compound (functor \"powerset\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args (binop \"=\" \"[]\"))))))", + "(clause (head (compound (functor \"powerset\") (args (args (binop variable \"=\" \"[]\"))))))", + "(clause (compound (functor \"powerset\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"powerset\") (args (args (binop \"=\" \"[]\"))))))", + "(clause (compound (functor \"subset\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args (args (binop variable \"=\"))))))", + "(clause (compound (functor \"poverset\") (args (args variable))))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args (binop variable \"=\"))))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))) (binop \"=\" (list (h (list (h variable))))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"bagof\") (args (args (args variable)))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args \"[]\")))))" + ], + "distribution": [ + 63, + 0 + ], + "quality": 0.9722307719109978 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args variable)))" + ], + "distribution": [ + 42, + 0 + ], + "quality": 0.9579742818233373 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))))" + ], + "distribution": [ + 29, + 0 + ], + "quality": 0.9371692827262958 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9225892674725523 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args variable))))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.9156912952121569 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"findall\") (args (args (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args (args variable)))))))" + ], + "distribution": [ + 10, + 126 + ], + "quality": 0.9100774293201361 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args \"[]\"))))" + ], + "distribution": [ + 98, + 8 + ], + "quality": 0.9037855287574943 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8876472062866424 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args (args variable)))))))" + ], + "distribution": [ + 14, + 127 + ], + "quality": 0.8861444788109095 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8805979876108646 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"findall\") (args variable)))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8643582057994821 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"subset\") (args (args variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8224743773159554 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.68848276586943 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.68848276586943 + } + ] +} \ No newline at end of file -- cgit v1.2.1