diff options
Diffstat (limited to 'prolog/problems/lists/memb_2/bugs.json')
| -rw-r--r-- | prolog/problems/lists/memb_2/bugs.json | 419 |
1 files changed, 419 insertions, 0 deletions
diff --git a/prolog/problems/lists/memb_2/bugs.json b/prolog/problems/lists/memb_2/bugs.json new file mode 100644 index 0000000..213f330 --- /dev/null +++ b/prolog/problems/lists/memb_2/bugs.json @@ -0,0 +1,419 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"memb\") (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"==\"))", + "(clause (head (compound (functor \"memb\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"memb\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"member\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"is\"))", + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"member\") (args variable))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args (list (h variable))))))", + "(clause (compound (functor \"memb\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"member\") (args variable (args (list (h variable)))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"=\" variable))", + "(clause (binop (list (t variable)) \"=\"))", + "(clause (head (compound (functor \"member\") (args (args (list (t variable)))))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"member\") (args (args (list (t variable)))))))", + "(clause (binop (list (t variable)) \"=\") (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args variable (args (list (h variable))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (binop \"==\" variable))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"member\") (args (args variable))))", + "(clause (binop (list (h variable)) \"=\"))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"==\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"==\" variable))", + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args (args (list (h variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"\\==\" \"[]\"))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (binop \"\\==\" \"[]\"))", + "(clause (binop variable \"=\") (compound (functor \"memb\") (args variable)))", + "(clause (binop (list (h variable)) \"=\") (binop \"is\" variable))", + "(clause (binop variable \"\\==\") (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"is\") (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"memb\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 5, + 204 + ], + "quality": 0.9643056285818753 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))))" + ], + "distribution": [ + 57, + 1 + ], + "quality": 0.9460329767668465 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 14, + 211 + ], + "quality": 0.9263098442287214 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9128941758478384 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 20, + 217 + ], + "quality": 0.9042815604997515 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"==\"))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.899542908369537 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8941585189962913 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 24, + 209 + ], + "quality": 0.8848214260437154 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8737724594285132 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 34, + 225 + ], + "quality": 0.8585277155014358 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 31, + 205 + ], + "quality": 0.8557817146312238 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"member\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8456914738034811 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8456914738034811 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args (list (h variable))))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args (list (t variable))))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"member\") (args variable (args (list (h variable)))))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"member\") (args variable))) (compound (functor \"member\") (args variable)))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8153596937336334 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 47, + 220 + ], + "quality": 0.8119686948654249 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7783041821302139 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"=\"))" + ], + "distribution": [ + 0, + 11 + ], + "quality": 0.7725109062352901 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))" + ], + "distribution": [ + 6, + 31 + ], + "quality": 0.7322928410118167 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"==\" variable))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7146224416391088 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args (args (list (h variable))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7146224416391088 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 20, + 60 + ], + "quality": 0.6840202801136779 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6752881577616756 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop variable \"=\"))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6752881577616756 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6752881577616756 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 144, + 298 + ], + "quality": 0.6700881903331514 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))" + ], + "distribution": [ + 13, + 32 + ], + "quality": 0.6122982869191883 + } + ] +}
\ No newline at end of file |