summaryrefslogtreecommitdiff
path: root/prolog/problems/lists
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists')
-rw-r--r--prolog/problems/lists/conc_3/bugs.json623
-rw-r--r--prolog/problems/lists/del_3/bugs.json833
-rw-r--r--prolog/problems/lists/divide_3/bugs.json597
-rw-r--r--prolog/problems/lists/dup_2/bugs.json537
-rw-r--r--prolog/problems/lists/insert_3/bugs.json669
-rw-r--r--prolog/problems/lists/memb_2/bugs.json419
-rw-r--r--prolog/problems/lists/permute_2/bugs.json452
7 files changed, 4130 insertions, 0 deletions
diff --git a/prolog/problems/lists/conc_3/bugs.json b/prolog/problems/lists/conc_3/bugs.json
new file mode 100644
index 0000000..faa8bb9
--- /dev/null
+++ b/prolog/problems/lists/conc_3/bugs.json
@@ -0,0 +1,623 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"conc\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args variable (args \"[]\")))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args variable (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args (list (t variable))))))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (head (compound (functor \"conc\") (args (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"conc\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop (list (t variable)) \"=\") (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"conc\") (args \"[]\")))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t (list (t (list (t (list (h variable))))))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t \"[]\"))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t \"[]\")) (args variable)))))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)) (args (list (t variable))))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t \"[]\")) (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop variable \"=\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (h variable))))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop variable \"==\" \"[]\"))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"==\"))",
+ "(clause (binop \"==\" \"[]\"))",
+ "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable)) (args (args variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args variable (args (args (list (h variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"memb\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (h variable))))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 200,
+ 0
+ ],
+ "quality": 0.9918098978873745
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 95,
+ 0
+ ],
+ "quality": 0.9813216549666162
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 109,
+ 0
+ ],
+ "quality": 0.9792693390073695
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 84,
+ 0
+ ],
+ "quality": 0.9784913292107171
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 128,
+ 1
+ ],
+ "quality": 0.9769005851308159
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 74,
+ 0
+ ],
+ "quality": 0.9751485753644915
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))"
+ ],
+ "distribution": [
+ 5,
+ 194
+ ],
+ "quality": 0.96777166797591
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 57,
+ 0
+ ],
+ "quality": 0.9664740583799806
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 52,
+ 0
+ ],
+ "quality": 0.9625183513217128
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))"
+ ],
+ "distribution": [
+ 96,
+ 1
+ ],
+ "quality": 0.9616690423705326
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args variable))))"
+ ],
+ "distribution": [
+ 49,
+ 0
+ ],
+ "quality": 0.9598416751987479
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 8,
+ 195
+ ],
+ "quality": 0.9537663671373556
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 176,
+ 6
+ ],
+ "quality": 0.9534661465905875
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 41,
+ 0
+ ],
+ "quality": 0.9502480946983761
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 10,
+ 199
+ ],
+ "quality": 0.9456023946121227
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 35,
+ 0
+ ],
+ "quality": 0.9400876354157746
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 48,
+ 1
+ ],
+ "quality": 0.9301166055329816
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 30,
+ 0
+ ],
+ "quality": 0.9274776659225339
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 15,
+ 200
+ ],
+ "quality": 0.9240650012127092
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 134,
+ 8
+ ],
+ "quality": 0.9227536777332479
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 54,
+ 1
+ ],
+ "quality": 0.9220529205414407
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 42,
+ 1
+ ],
+ "quality": 0.918344977607912
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable (args (list (t variable))))))))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.9172841429595752
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 156,
+ 12
+ ],
+ "quality": 0.9092617591052642
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 19,
+ 199
+ ],
+ "quality": 0.9069186602870813
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.9056547059316193
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 68,
+ 4
+ ],
+ "quality": 0.9017940133144648
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 22,
+ 201
+ ],
+ "quality": 0.8956538011695907
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 24,
+ 205
+ ],
+ "quality": 0.8897060833902939
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.8878657999705749
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8624843097901103
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args variable (args variable)))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8624843097901103
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8416383100276
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 48,
+ 205
+ ],
+ "quality": 0.805969040247678
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.7979894054615561
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))"
+ ],
+ "distribution": [
+ 105,
+ 203
+ ],
+ "quality": 0.6457478342210308
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 132,
+ 210
+ ],
+ "quality": 0.6033553813748799
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))"
+ ],
+ "distribution": [
+ 176,
+ 219
+ ],
+ "quality": 0.5467835845280454
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))"
+ ],
+ "distribution": [
+ 213,
+ 227
+ ],
+ "quality": 0.5093693606117694
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 26,
+ 31
+ ],
+ "quality": 0.4752464712988064
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/lists/del_3/bugs.json b/prolog/problems/lists/del_3/bugs.json
new file mode 100644
index 0000000..34d373a
--- /dev/null
+++ b/prolog/problems/lists/del_3/bugs.json
@@ -0,0 +1,833 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args variable))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args \"[]\"))))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (head (compound (functor \"del\") (args variable (args (args \"[]\"))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"del\") (args (args \"[]\")))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"del\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))))",
+ "(clause (binop variable \"=\") (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"==\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"==\" variable))",
+ "(clause (binop variable \"=\") (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"\\==\" variable))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"==\"))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args variable (args (args (list (h variable))))))))",
+ "(clause (binop \"\\==\" variable) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"delete\") (args variable))) (compound (functor \"delete\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"==\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"delete\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"\\=\"))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"memb\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (binop variable \"=\")))",
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"\\==\"))",
+ "(clause (head (compound (functor \"conc\") (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"\\=\" variable))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"\\=\"))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))))",
+ "(clause (head (binop \"=\" (list (t variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args variable (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+ "(clause (binop variable \"\\=\") (compound (functor \"del\") (args variable)))",
+ "(clause (binop variable \"=\" (list (h variable))))",
+ "(clause (binop \"=\" variable) (binop variable \"\\==\"))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args (list (t variable)))))))",
+ "(clause (binop variable \"\\=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args (args variable (args \"[]\"))))))",
+ "(clause (compound (functor \"del\") (args (args variable (args variable)))))",
+ "(clause (head (compound (functor \"delete\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"\\=\" variable))",
+ "(clause (compound (functor \"del\") (args variable)))",
+ "(clause (compound (functor \"del\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop variable \"\\==\"))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t (list (h variable)))))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"delete\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"delete\") (args (args (args (list (t variable))))))) (compound (functor \"delete\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"==\"))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (binop \"=\" (list (h variable)))))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))))",
+ "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))",
+ "(clause (binop variable \"\\=\"))",
+ "(clause (compound (functor \"del\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"delete\") (args (args (list (t variable)))))) (compound (functor \"delete\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (binop \"\\=\" variable))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"del\") (args \"[]\" (args (args variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (binop (binop \"=\" variable) \"|\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args \"[]\"))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"=\" (list (h \"[]\"))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h \"[]\"))))",
+ "(clause (binop \"=\" (list (h \"[]\") (t variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop (binop variable \"=\") \"|\"))",
+ "(clause (compound (functor \"del\") (args (args (args \"[]\")))))",
+ "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (binop \"\\=\" variable) (compound (functor \"del\") (args variable)))",
+ "(clause (binop variable \"\\==\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"del\") (args (args variable (args \"[]\")))))",
+ "(clause (binop (binop \"=\" variable) \"|\") (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"==\" variable) (compound (functor \"del\") (args variable)))",
+ "(clause (compound (functor \"del\") (args variable (args (args \"[]\")))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t (list (h variable)))) (args variable))))))",
+ "(clause (head (binop variable \"=\" (list (h variable)))))",
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"memb\") (args (args variable))))",
+ "(clause (compound (functor \"del\") (args variable)) (binop \"=\" variable))",
+ "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 116,
+ 0
+ ],
+ "quality": 0.9849948790812632
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 196,
+ 2
+ ],
+ "quality": 0.9800002708060949
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable))))"
+ ],
+ "distribution": [
+ 117,
+ 1
+ ],
+ "quality": 0.9746637220573926
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 83,
+ 1
+ ],
+ "quality": 0.9637161155237414
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))"
+ ],
+ "distribution": [
+ 49,
+ 0
+ ],
+ "quality": 0.9605929930584268
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 44,
+ 0
+ ],
+ "quality": 0.9555710694733691
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 90,
+ 2
+ ],
+ "quality": 0.9538781413622573
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args \"[]\")))))"
+ ],
+ "distribution": [
+ 55,
+ 1
+ ],
+ "quality": 0.9427801352444736
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 33,
+ 0
+ ],
+ "quality": 0.9376094405437594
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9332118303316111
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (args \"[]\"))))))"
+ ],
+ "distribution": [
+ 68,
+ 3
+ ],
+ "quality": 0.9223387559820253
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 45,
+ 2
+ ],
+ "quality": 0.9029287003421126
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.90080527035397
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8911811592756177
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"del\") (args (args variable))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8911811592756177
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8842519805264388
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8842519805264388
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"\\==\" variable) (compound (functor \"del\") (args variable)))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8762537481589044
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"==\" variable))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8664132146073047
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"delete\") (args variable (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8554008072866465
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 21,
+ 155
+ ],
+ "quality": 0.8535437992650724
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.845385684352757
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"delete\") (args variable))) (compound (functor \"delete\") (args variable)))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.845385684352757
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 25,
+ 158
+ ],
+ "quality": 0.8389658632349006
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 25,
+ 156
+ ],
+ "quality": 0.837055718203718
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.815496657694811
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.815496657694811
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.815496657694811
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 32,
+ 161
+ ],
+ "quality": 0.8133170492524149
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"\\=\" variable))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.7990326898491317
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.7990326898491317
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"\\==\"))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.7990326898491317
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (binop variable \"=\")))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.7990326898491317
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 38,
+ 159
+ ],
+ "quality": 0.7825207375818234
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7778461853105435
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"\\=\") (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7778461853105435
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"\\=\") (compound (functor \"del\") (args variable)))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7778461853105435
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 47,
+ 165
+ ],
+ "quality": 0.7580333749731936
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" variable))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7517017140221434
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable))) (binop \"\\=\" variable))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7517017140221434
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 2,
+ 25
+ ],
+ "quality": 0.746763415540722
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 0,
+ 11
+ ],
+ "quality": 0.7314481033259684
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 70,
+ 173
+ ],
+ "quality": 0.699662623234134
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 7,
+ 31
+ ],
+ "quality": 0.6871971251913926
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 0,
+ 7
+ ],
+ "quality": 0.6814775755254696
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 9,
+ 32
+ ],
+ "quality": 0.6807877449850186
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))"
+ ],
+ "distribution": [
+ 3,
+ 16
+ ],
+ "quality": 0.6432549088482765
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 4,
+ 20
+ ],
+ "quality": 0.6264207966829962
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 10,
+ 28
+ ],
+ "quality": 0.581720792487467
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 10,
+ 25
+ ],
+ "quality": 0.5799037859009714
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 20,
+ 38
+ ],
+ "quality": 0.5647093308403234
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))"
+ ],
+ "distribution": [
+ 134,
+ 184
+ ],
+ "quality": 0.5608601870295024
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 62,
+ 81
+ ],
+ "quality": 0.5359594019200824
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))"
+ ],
+ "distribution": [
+ 174,
+ 200
+ ],
+ "quality": 0.518985127711331
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))"
+ ],
+ "distribution": [
+ 187,
+ 196
+ ],
+ "quality": 0.4985565256833396
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 6,
+ 15
+ ],
+ "quality": 0.4771191019402525
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))"
+ ],
+ "distribution": [
+ 257,
+ 212
+ ],
+ "quality": 0.4430781515633242
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/lists/divide_3/bugs.json b/prolog/problems/lists/divide_3/bugs.json
new file mode 100644
index 0000000..7a3d3a8
--- /dev/null
+++ b/prolog/problems/lists/divide_3/bugs.json
@@ -0,0 +1,597 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"divide\") (args (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args \"[]\" (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args \"[]\" (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable)))) (args (args (list (h variable))))))))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args \"[]\" (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args \"[]\" (args (args variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (args \"[]\"))))))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args variable (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable) (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args variable)))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable) (t \"[]\"))))))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args (args (list (h variable))))))))",
+ "(clause (binop variable \"=\") (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))))",
+ "(clause (binop variable \"=\") (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"divide\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"divide\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args \"[]\")))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (args variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable)))) (args (args variable))))))",
+ "(clause (binop variable \"=\" variable))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"=\" (list (t \"[]\"))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (binop \"=\" (list (h variable) (t \"[]\"))))",
+ "(clause (binop \"=\" (list (t \"[]\"))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (list (t \"[]\")))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args (args (list (t variable)))))))",
+ "(clause (binop variable \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (binop \"=\" variable))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"oddlen\") (args (list (h variable)))))",
+ "(clause (compound (functor \"oddlen\") (args (list (t variable)))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t \"[]\")) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"evenlen\") (args (list (h variable)))))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"oddlen\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"devide\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args variable (args (args \"[]\"))))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t (list (h variable)))))) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (compound (functor \"evenlen\") (args (list (h variable)))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"divide\") (args variable (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args (list (t variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t variable)) (args (list (t variable))))))))",
+ "(clause (compound (functor \"evenlen\") (args (list (t variable)))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"devide\") (args (list (h variable))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"devide\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (compound (functor \"oddlen\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"evenlen\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args (binop \"|\" \"[]\"))))))",
+ "(clause (head (compound (functor \"divideL\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"divide\") (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"divide\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"devide\") (args (list (h variable) (t (list (h \"[]\"))))))))",
+ "(clause (head (compound (functor \"devide\") (args (list (t (list (h \"[]\"))))))))",
+ "(clause (binop variable \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (binop \"|\" \"[]\") (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (binop \"|\" \"[]\") (args (args (list (h variable)))))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (binop variable \"|\") (args (args (list (h variable)))))))))",
+ "(clause (head (compound (functor \"divide\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"concat\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (binop variable \"|\" \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args variable (args (binop \"|\" \"[]\"))))))",
+ "(clause (binop variable \"=\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divideL\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop variable \">\"))",
+ "(clause (head (compound (functor \"divide2\") (args (list (t variable))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args \"[]\")))))",
+ "(clause (head (compound (functor \"divideS\") (args (args (args variable))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"divideS\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (compound (functor \"divide\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable)) (args (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"divide\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (t (list (h variable)))))))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide2\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"divide2\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable)))) (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args (args variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable)))) (args (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"divide\") (args variable))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"dividel\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"divide\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"divide2\") (args (args variable)))) (compound (functor \"divide\") (args (args variable))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h \"[]\"))))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t variable)) (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (compound (functor \"divide\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable) (t (list (h \"[]\"))))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 86,
+ 0
+ ],
+ "quality": 0.9785860066956276
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 108,
+ 1
+ ],
+ "quality": 0.9720150880155988
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 61,
+ 0
+ ],
+ "quality": 0.968078588978822
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args variable))))"
+ ],
+ "distribution": [
+ 92,
+ 1
+ ],
+ "quality": 0.9663450177851911
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 48,
+ 0
+ ],
+ "quality": 0.9570652224524285
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"divide\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 47,
+ 0
+ ],
+ "quality": 0.956022243308435
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 40,
+ 0
+ ],
+ "quality": 0.9468348385402378
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args variable)))))"
+ ],
+ "distribution": [
+ 39,
+ 0
+ ],
+ "quality": 0.9451487184421172
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args variable)))))"
+ ],
+ "distribution": [
+ 32,
+ 0
+ ],
+ "quality": 0.9297026017780392
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable (args variable))))))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9268053674110606
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"divide\") (args (args variable))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9268053674110606
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 28,
+ 0
+ ],
+ "quality": 0.9164992286716568
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.9140683253475687
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"divide\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.9140683253475687
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"divide\") (args (args variable))))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.9140683253475687
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable (args \"[]\"))))))"
+ ],
+ "distribution": [
+ 40,
+ 1
+ ],
+ "quality": 0.9101759348576428
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"divide\") (args variable)))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.8983105052699809
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"divide\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 23,
+ 0
+ ],
+ "quality": 0.8933309419052631
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"divide\") (args (args variable))))"
+ ],
+ "distribution": [
+ 23,
+ 0
+ ],
+ "quality": 0.8933309419052631
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t (list (t variable))))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8868685351234835
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8868685351234835
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8868685351234835
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 10,
+ 114
+ ],
+ "quality": 0.8852394420802692
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.871192237374898
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args \"[]\")))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8637639695477869
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"divide\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8637639695477869
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8637639695477869
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8531485099731269
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 19,
+ 119
+ ],
+ "quality": 0.8320520793830597
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable)))) (args (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 23,
+ 119
+ ],
+ "quality": 0.8078706275007033
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))",
+ "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 4,
+ 28
+ ],
+ "quality": 0.7271076007261638
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))",
+ "(clause (head (compound (functor \"divide\") (args (args (list (h variable) (t \"[]\")))))))"
+ ],
+ "distribution": [
+ 0,
+ 5
+ ],
+ "quality": 0.39100325275123204
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/lists/dup_2/bugs.json b/prolog/problems/lists/dup_2/bugs.json
new file mode 100644
index 0000000..c62360a
--- /dev/null
+++ b/prolog/problems/lists/dup_2/bugs.json
@@ -0,0 +1,537 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"dup\") (args (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"dup\") (args variable)))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t variable)))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable)) (args (list (t (list (t variable)))))))))",
+ "(clause (binop variable \"=\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t (list (h variable)))))))))",
+ "(clause (compound (functor \"conc\") (args variable (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"dup\") (args (args (list (h variable) (t (list (h variable))))))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable) (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args variable (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable) (t variable))))",
+ "(clause (binop \"=\" variable))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"is\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"is\"))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (t (list (h variable))))))))",
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (h variable) (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)) (args (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"is\" (list (t variable))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t variable)))))))",
+ "(clause (compound (functor \"dup\") (args variable (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"dup\") (args variable)) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))",
+ "(clause (binop \"is\" (list (h variable) (t variable))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))) (compound (functor \"dup\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (args (binop \"|\" variable))))) (binop variable \"==\"))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (args variable))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t (list (h variable))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"dup1\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"dup1\") (args variable)))",
+ "(clause (binop variable \"is\") (binop \"is\" (list (h variable))))",
+ "(clause (compound (functor \"dup\") (args (list (h variable) (t (list (h variable)))))))",
+ "(clause (compound (functor \"dup1\") (args variable (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dum\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"dup1\") (args (list (t variable))))) (compound (functor \"dup1\") (args variable)))",
+ "(clause (head (compound (functor \"dup1\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"is\" (list (t variable))))",
+ "(clause (compound (functor \"dup1\") (args (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (args (list (t (list (t variable))))))))",
+ "(clause (head (compound (functor \"dup1\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (compound (functor \"dup\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (h variable)))))))) (compound (functor \"dup\") (args (args (list (h variable))))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 83,
+ 0
+ ],
+ "quality": 0.9793745051956579
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 69,
+ 0
+ ],
+ "quality": 0.9745611611669687
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 52,
+ 0
+ ],
+ "quality": 0.965011287140588
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 2,
+ 104
+ ],
+ "quality": 0.9512545556592722
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9365430966407702
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 30,
+ 0
+ ],
+ "quality": 0.9342281690211035
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t variable)))))))"
+ ],
+ "distribution": [
+ 25,
+ 0
+ ],
+ "quality": 0.9187546835926848
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 2,
+ 53
+ ],
+ "quality": 0.9074868141619565
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable)) (args (list (t (list (t variable)))))))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.9049826183187104
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args variable (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8957228443022562
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args variable)))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8957228443022562
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8957228443022562
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.880106470153706
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.880106470153706
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable (args variable))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8712586113449907
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8712586113449907
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8628302434186279
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8628302434186279
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\"))))",
+ "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 6,
+ 60
+ ],
+ "quality": 0.8581378927996048
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.851718483494776
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))"
+ ],
+ "distribution": [
+ 16,
+ 116
+ ],
+ "quality": 0.8504056912099205
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (compound (functor \"dup\") (args (args variable))))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8385349971208302
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))"
+ ],
+ "distribution": [
+ 20,
+ 117
+ ],
+ "quality": 0.8258965557064576
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args variable)))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8255156458958964
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8255156458958964
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable) (t variable))))"
+ ],
+ "distribution": [
+ 12,
+ 0
+ ],
+ "quality": 0.8080943376484535
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args variable)))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7870660531987647
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"dup\") (args variable)))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7870660531987647
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7764400337069141
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 13,
+ 53
+ ],
+ "quality": 0.7345604560948691
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 12,
+ 50
+ ],
+ "quality": 0.7336334876105481
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))",
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))"
+ ],
+ "distribution": [
+ 65,
+ 175
+ ],
+ "quality": 0.7157343899492171
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 25,
+ 74
+ ],
+ "quality": 0.7065553916027705
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"dup\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 28,
+ 56
+ ],
+ "quality": 0.6107009286023725
+ }
+ ]
+} \ No newline at end of file
diff --git a/prolog/problems/lists/insert_3/bugs.json b/prolog/problems/lists/insert_3/bugs.json
new file mode 100644
index 0000000..b863ff5
--- /dev/null
+++ b/prolog/problems/lists/insert_3/bugs.json
@@ -0,0 +1,669 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args \"[]\")))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"insert\") (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
+ "(clause (compound (functor \"insert\") (args variable (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t variable)))) (args (list (t (list (t (list (t variable))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (h variable))))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable) (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")))))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (h variable))))))))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (h variable) (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (t \"[]\"))))))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args variable (args variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"insertF\") (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (head (compound (functor \"insert\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"insertL\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insertL\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"insert\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"insertL\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"insertL\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"insertL\") (args (args \"[]\" (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insertL\") (args variable))) (compound (functor \"insertL\") (args variable)))",
+ "(clause (head (compound (functor \"insertL\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" variable))",
+ "(clause (compound (functor \"insertL\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"insert\") (args (args variable (args (list (t variable)))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"insertL\") (args (args variable))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t \"[]\"))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t \"[]\"))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t \"[]\"))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t \"[]\"))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t \"[]\"))))))))))",
+ "(clause (head (compound (functor \"insertF\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (h variable) (t \"[]\"))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\" (list (t \"[]\"))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (t \"[]\"))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t \"[]\"))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (h variable))))))))))))",
+ "(clause (binop variable \"=\") (binop variable \"=\"))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
+ "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"delete\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"delete\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t variable))))))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"insert\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (compound (functor \"insert\") (args (args \"[]\" (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"insert\") (args (args \"[]\"))))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args variable (args \"[]\"))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (compound (functor \"insertF\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
+ "(clause (compound (functor \"insert\") (args (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (args variable))))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args variable))))))",
+ "(clause (compound (functor \"append\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (compound (functor \"insertF\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"insertF\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"insertF\") (args (args (args variable))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (list (h variable))))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 96,
+ 0
+ ],
+ "quality": 0.9809983489905899
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 84,
+ 0
+ ],
+ "quality": 0.9779557461869847
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))))"
+ ],
+ "distribution": [
+ 64,
+ 0
+ ],
+ "quality": 0.9701372216334027
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))))"
+ ],
+ "distribution": [
+ 52,
+ 0
+ ],
+ "quality": 0.9623158836715362
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))"
+ ],
+ "distribution": [
+ 1,
+ 78
+ ],
+ "quality": 0.9585068382186356
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 44,
+ 0
+ ],
+ "quality": 0.9546866918174765
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 2,
+ 108
+ ],
+ "quality": 0.9489425014747489
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 2,
+ 79
+ ],
+ "quality": 0.9462265906785803
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))"
+ ],
+ "distribution": [
+ 33,
+ 0
+ ],
+ "quality": 0.9373562145752073
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9334733640178655
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.9210026715389256
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 25,
+ 0
+ ],
+ "quality": 0.914160398310297
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))"
+ ],
+ "distribution": [
+ 38,
+ 1
+ ],
+ "quality": 0.9137268661238094
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 23,
+ 0
+ ],
+ "quality": 0.9057307439251511
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.8952422262460376
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8883865000593553
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8838682912904711
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.8761554549819403
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8673982968475626
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8673982968475626
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))"
+ ],
+ "distribution": [
+ 13,
+ 111
+ ],
+ "quality": 0.8622038337735494
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.8444915571428488
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.8444915571428488
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 17,
+ 110
+ ],
+ "quality": 0.8396242375702132
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8324450355202406
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8169111707967117
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8169111707967117
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.8169111707967117
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 23,
+ 118
+ ],
+ "quality": 0.8084559536708993
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 11,
+ 0
+ ],
+ "quality": 0.7782285881315864
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 2,
+ 23
+ ],
+ "quality": 0.7672724265740091
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7530227654833378
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 10,
+ 0
+ ],
+ "quality": 0.7530227654833378
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 34,
+ 114
+ ],
+ "quality": 0.740004128093178
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))"
+ ],
+ "distribution": [
+ 40,
+ 126
+ ],
+ "quality": 0.7320278311098433
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.7148255487494682
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.7148255487494682
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.7148255487494682
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.7148255487494682
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))"
+ ],
+ "distribution": [
+ 9,
+ 0
+ ],
+ "quality": 0.7148255487494682
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))",
+ "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 7,
+ 29
+ ],
+ "quality": 0.6741379300408554
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 0,
+ 5
+ ],
+ "quality": 0.5886120313182593
+ }
+ ]
+} \ No newline at end of file
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
diff --git a/prolog/problems/lists/permute_2/bugs.json b/prolog/problems/lists/permute_2/bugs.json
new file mode 100644
index 0000000..9c2778c
--- /dev/null
+++ b/prolog/problems/lists/permute_2/bugs.json
@@ -0,0 +1,452 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"permute\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"permute\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"permute\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args variable)))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"permute\") (args variable (args variable)))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"permute\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))))",
+ "(clause (compound (functor \"permute\") (args (args variable))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args variable))))",
+ "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (compound (functor \"del\") (args variable)) (compound (functor \"insert\") (args variable)))",
+ "(clause (compound (functor \"permute\") (args variable)) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"permute\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"memb\") (args (args variable))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t \"[]\")) (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable)))) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args \"[]\" (args variable)))))",
+ "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (compound (functor \"delete\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"delete\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"delete\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable) (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable) (t \"[]\"))))))))",
+ "(clause (compound (functor \"del\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\")))) (args (list (h variable)))))))",
+ "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"permute\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"insert\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (compound (functor \"insert\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (compound (functor \"insert\") (args variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (t variable))))))) (compound (functor \"insert\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"insert\") (args (args variable (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"del\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"del\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (binop (list (t variable)) \"=\") (compound (functor \"permute\") (args variable)))",
+ "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"ins\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (t variable)))))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"ins\") (args (args (args variable)))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"permute\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"permute\") (args (list (h variable)))))",
+ "(clause (compound (functor \"insert\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"insert1\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (binop \"\\=\" variable) (compound (functor \"seperateFirst2\") (args variable)))",
+ "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args (list (t variable))))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable)) (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"permute\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"permute\") (args (list (t (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t (list (h variable)))))))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (compound (functor \"permute\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable) (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args variable)))",
+ "(clause (compound (functor \"insert\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute2\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"insert\") (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (list (h variable)))))",
+ "(clause (head (binop variable \"=\")))",
+ "(clause (head (compound (functor \"permute2\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\")))) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (compound (functor \"insert\") (args variable (args (list (h variable))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args (list (t variable)))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable)) (args variable)))))",
+ "(clause (head (compound (functor \"permute2\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable)))) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t (list (h variable) (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t (list (t variable))))))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"permute\") (args (args (compound (functor \"insert\") (args (args (args variable)))))))))",
+ "(clause (compound (functor \"insert\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (list (t variable)))))",
+ "(clause (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"memb\") (args (args variable))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 95,
+ 0
+ ],
+ "quality": 0.9817038429772349
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args variable))))"
+ ],
+ "distribution": [
+ 190,
+ 2
+ ],
+ "quality": 0.9794084745917714
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))"
+ ],
+ "distribution": [
+ 104,
+ 1
+ ],
+ "quality": 0.9714418818841668
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 48,
+ 0
+ ],
+ "quality": 0.9588757057531605
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 47,
+ 0
+ ],
+ "quality": 0.9578821829207189
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 39,
+ 0
+ ],
+ "quality": 0.947298305452628
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"permute\") (args (args variable))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9455670056323863
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))"
+ ],
+ "distribution": [
+ 37,
+ 0
+ ],
+ "quality": 0.9437215576522013
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"permute\") (args (args variable))))"
+ ],
+ "distribution": [
+ 35,
+ 0
+ ],
+ "quality": 0.9396299620514391
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args variable))))"
+ ],
+ "distribution": [
+ 33,
+ 0
+ ],
+ "quality": 0.9350104617264203
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"permute\") (args (args variable))))"
+ ],
+ "distribution": [
+ 33,
+ 0
+ ],
+ "quality": 0.9350104617264203
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))"
+ ],
+ "distribution": [
+ 8,
+ 133
+ ],
+ "quality": 0.9332657919230357
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args variable)))))"
+ ],
+ "distribution": [
+ 29,
+ 0
+ ],
+ "quality": 0.9232913557196254
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 28,
+ 0
+ ],
+ "quality": 0.9213023067023905
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args variable)))"
+ ],
+ "distribution": [
+ 7,
+ 123
+ ],
+ "quality": 0.9187239800583585
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (list (t \"[]\")) (args variable)))))"
+ ],
+ "distribution": [
+ 27,
+ 0
+ ],
+ "quality": 0.9173202964615395
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 26,
+ 0
+ ],
+ "quality": 0.911839211889241
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))"
+ ],
+ "distribution": [
+ 12,
+ 139
+ ],
+ "quality": 0.9114837140195694
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args variable)))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.9035625911236866
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"delete\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8914631047764715
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args \"[]\"))))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))"
+ ],
+ "distribution": [
+ 2,
+ 27
+ ],
+ "quality": 0.7900995111489282
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"del\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args variable))))",
+ "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))",
+ "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))"
+ ],
+ "distribution": [
+ 3,
+ 31
+ ],
+ "quality": 0.7888513731459508
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))"
+ ],
+ "distribution": [
+ 8,
+ 17
+ ],
+ "quality": 0.4809085141607073
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args variable)))",
+ "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"del\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 0,
+ 5
+ ],
+ "quality": 0.4468970492731071
+ }
+ ]
+} \ No newline at end of file