summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/conc_3
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/conc_3')
-rw-r--r--prolog/problems/lists/conc_3/bugs.json623
1 files changed, 623 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