summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/memb_2
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/memb_2')
-rw-r--r--prolog/problems/lists/memb_2/bugs.json419
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