summaryrefslogtreecommitdiff
path: root/prolog/problems/sets/powerset_2
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/sets/powerset_2')
-rw-r--r--prolog/problems/sets/powerset_2/bugs.json219
1 files changed, 219 insertions, 0 deletions
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