diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:35:01 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:35:01 +0100 |
commit | 92c49ac708e04e545da6e7aafe91cac8f223f475 (patch) | |
tree | fe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/lists/divide_3 | |
parent | 320f6db34b5da13e259c3a55db9996a456bf8839 (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.json | 597 |
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 |