summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/divide_3
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/divide_3
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/lists/divide_3')
-rw-r--r--prolog/problems/lists/divide_3/bugs.json597
1 files changed, 597 insertions, 0 deletions
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