summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced/rev_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
commit92c49ac708e04e545da6e7aafe91cac8f223f475 (patch)
treefe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/lists_advanced/rev_2
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/lists_advanced/rev_2')
-rw-r--r--prolog/problems/lists_advanced/rev_2/bugs.json610
1 files changed, 610 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/rev_2/bugs.json b/prolog/problems/lists_advanced/rev_2/bugs.json
new file mode 100644
index 0000000..c728b44
--- /dev/null
+++ b/prolog/problems/lists_advanced/rev_2/bugs.json
@@ -0,0 +1,610 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"rev\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"rev\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable)))))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args (list (t variable)))))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"rev\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args (list (t (list (h variable)))))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (compound (functor \"rev\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args variable (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"rev\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (t \"[]\")) (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"rev\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (h variable)))) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"=\"))",
+ "(clause (compound (functor \"rev\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (t variable)))))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t \"[]\")) (args (list (h variable)))))))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (h variable))))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"rev\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args (args variable (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args variable))) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"rev\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable (args variable))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (args (args variable))))) (compound (functor \"rev\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (binop \"=\" variable))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args variable (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args \"[]\")))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"insert\") (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 variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"shiftleft\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (h variable))))))) (compound (functor \"rev\") (args (list (h variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args variable))))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args (list (h variable))))))",
+ "(clause (compound (functor \"rev\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop variable \"=\") (compound (functor \"rev\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"rev\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable)) (args (list (h variable)))))))",
+ "(clause (binop variable \"=\") (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"rev\") (args (args variable))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (t \"[]\")))) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable)))))))))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"=\") (compound (functor \"shiftleft\") (args variable)))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable) (t (list (t \"[]\"))))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable)))))) (compound (functor \"rev\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"reverse\") (args (list (t variable))))) (compound (functor \"reverse\") (args variable)))",
+ "(clause (head (compound (functor \"reverse\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (h variable) (t \"[]\"))))))))",
+ "(clause (compound (functor \"rev\") (args variable (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args (list (t \"[]\")))))))",
+ "(clause (compound (functor \"rev\") (args (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t \"[]\")) (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable) (t \"[]\")))))))",
+ "(clause (compound (functor \"rev\") (args (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"append\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (t \"[]\")))))))",
+ "(clause (head (compound (functor \"accRev\") (args (args variable (args variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (t (list (h variable) (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"accRev\") (args \"[]\" (args (args variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"append\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"rev\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"accRev\") (args (args variable)))) (compound (functor \"accRev\") (args (args (list (t variable))))))",
+ "(clause (head (compound (functor \"accRev\") (args (args (args variable))))) (compound (functor \"accRev\") (args (args (args variable)))))",
+ "(clause (compound (functor \"accRev\") (args (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"accRev\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"accRev\") (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable) (t (list (t \"[]\")))))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"accRev\") (args (list (t variable))))) (compound (functor \"accRev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"accRev\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args (list (t (list (t \"[]\")))))))))",
+ "(clause (head (compound (functor \"rev\") (args variable))) (compound (functor \"accRev\") (args variable)))",
+ "(clause (head (compound (functor \"accRev\") (args (list (h variable))))) (compound (functor \"accRev\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (binop \"=\" (compound (functor \"conc\") (args (args variable)))))",
+ "(clause (compound (functor \"rev\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args (list (t (list (h variable))))))))",
+ "(clause (compound (functor \"accRev\") (args variable (args \"[]\"))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"insert\") (args variable)))",
+ "(clause (compound (functor \"accRev\") (args (args \"[]\" (args variable)))))",
+ "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"rev\") (args (args variable))))"
+ ],
+ "distribution": [
+ 121,
+ 0
+ ],
+ "quality": 0.986556593510503
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 97,
+ 0
+ ],
+ "quality": 0.9826434045656284
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 77,
+ 0
+ ],
+ "quality": 0.9773800451764163
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable)))))) (compound (functor \"rev\") (args (args variable))))"
+ ],
+ "distribution": [
+ 65,
+ 0
+ ],
+ "quality": 0.9725452093629203
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 62,
+ 0
+ ],
+ "quality": 0.9710153654076905
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args (list (t variable)))))))"
+ ],
+ "distribution": [
+ 58,
+ 0
+ ],
+ "quality": 0.968705070624353
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"rev\") (args (args variable))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 57,
+ 0
+ ],
+ "quality": 0.9680718894186054
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"rev\") (args (args variable))))"
+ ],
+ "distribution": [
+ 42,
+ 0
+ ],
+ "quality": 0.9539159922513188
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"rev\") (args (args variable))))"
+ ],
+ "distribution": [
+ 39,
+ 0
+ ],
+ "quality": 0.9498796288138498
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 38,
+ 0
+ ],
+ "quality": 0.9482884419024931
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))"
+ ],
+ "distribution": [
+ 37,
+ 0
+ ],
+ "quality": 0.9465964556697102
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))"
+ ],
+ "distribution": [
+ 31,
+ 0
+ ],
+ "quality": 0.9335831017115431
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 30,
+ 0
+ ],
+ "quality": 0.9308550600732364
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (h variable)) (args variable)))))"
+ ],
+ "distribution": [
+ 28,
+ 0
+ ],
+ "quality": 0.9246600103422892
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 26,
+ 0
+ ],
+ "quality": 0.9172907001508989
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"rev\") (args variable)) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 25,
+ 0
+ ],
+ "quality": 0.9148346932895947
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.9100998125124599
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 15,
+ 163
+ ],
+ "quality": 0.9082355033795803
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args variable (args variable)))))"
+ ],
+ "distribution": [
+ 36,
+ 1
+ ],
+ "quality": 0.9043979683819339
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 16,
+ 165
+ ],
+ "quality": 0.9042753585154341
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8982912661352064
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"conc\") (args variable))))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8785845199323865
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 23,
+ 166
+ ],
+ "quality": 0.8716355529231646
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 17,
+ 0
+ ],
+ "quality": 0.8613551527158146
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8508714504566388
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 16,
+ 0
+ ],
+ "quality": 0.8508714504566388
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.8382228419619023
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (t (list (h variable))))))) (compound (functor \"rev\") (args variable)))"
+ ],
+ "distribution": [
+ 15,
+ 0
+ ],
+ "quality": 0.8382228419619023
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 35,
+ 171
+ ],
+ "quality": 0.824434570232329
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (list (h variable))))) (binop \"=\" (list (t variable))))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8237200730367206
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"rev\") (args (args variable))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 14,
+ 0
+ ],
+ "quality": 0.8237200730367206
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.819408982442943
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"rev\") (args (args variable))))"
+ ],
+ "distribution": [
+ 13,
+ 0
+ ],
+ "quality": 0.819408982442943
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 0,
+ 11
+ ],
+ "quality": 0.6906520725171637
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))"
+ ],
+ "distribution": [
+ 1,
+ 14
+ ],
+ "quality": 0.6849688185649977
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"rev\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 76,
+ 166
+ ],
+ "quality": 0.6683723967959012
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 93,
+ 174
+ ],
+ "quality": 0.6376377180918508
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"rev\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"rev\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 164,
+ 186
+ ],
+ "quality": 0.5221807820252026
+ }
+ ]
+} \ No newline at end of file