diff options
Diffstat (limited to 'prolog/problems/lists_advanced/rev_2/bugs.json')
| -rw-r--r-- | prolog/problems/lists_advanced/rev_2/bugs.json | 610 |
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 |