diff options
Diffstat (limited to 'prolog/problems/trees/maxt_2')
| -rw-r--r-- | prolog/problems/trees/maxt_2/bugs.json | 382 |
1 files changed, 382 insertions, 0 deletions
diff --git a/prolog/problems/trees/maxt_2/bugs.json b/prolog/problems/trees/maxt_2/bugs.json new file mode 100644 index 0000000..2f581d1 --- /dev/null +++ b/prolog/problems/trees/maxt_2/bugs.json @@ -0,0 +1,382 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"maxT\") (args variable))) (binop variable \"=..\"))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args variable)) (args variable)))))", + "(clause (binop \">=\" variable))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (compound (functor \"max\") (args (args variable))))", + "(clause (binop \">\" variable))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop variable \"is\"))", + "(clause (binop \"=\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop \"=\" variable))", + "(clause (binop variable \">\") (binop \"=\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (binop variable \">=\") (binop \"=\" variable))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop variable \">\"))", + "(clause (binop variable \">=\"))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop \"is\" variable))", + "(clause (binop variable \">=\") (binop \"is\" variable))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop variable \"=<\"))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop \"=..\" (list (t (list (h variable))))))", + "(clause (binop \"<\" variable) (binop \"=\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop variable \">=\"))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (binop variable \">\"))", + "(clause (binop \"=..\" (list (t (list (h variable))))))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop variable \">\"))", + "(clause (binop variable \">\") (binop \"is\" variable))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"maxT\") (args (args variable))))", + "(clause (binop \"=<\" variable) (binop \"=\" variable))", + "(clause (head (compound (functor \"maxSubT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \">\" variable))", + "(clause (binop variable \"<\"))", + "(clause (head (compound (functor \"maxTList\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \">=\" variable))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop variable \">=\"))", + "(clause (compound (functor \"maxTList\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"=..\" (list (t (list (t variable))))))", + "(clause (compound (functor \"maxSubT\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"maxTList\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxSubT\") (args variable)))", + "(clause (head (compound (functor \"maxTL\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (binop \"is\" variable))", + "(clause (compound (functor \"maxTList\") (args (args variable))) (binop variable \">=\"))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop variable \"=<\"))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop \">\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop variable \"<\"))", + "(clause (head (compound (functor \"maxSubT\") (args (list (t variable))))) (compound (functor \"maxSubT\") (args variable)))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"maxSubT\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxTList\") (args variable)))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop variable \"<\"))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxSubT\") (args (args variable))) (binop \">=\" variable))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (head (compound (functor \"maxT\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"memberT\") (args (args variable)))))))", + "(clause (compound (functor \"findall\") (args (args (args variable)))) (compound (functor \"max\") (args variable)))", + "(clause (compound (functor \"getMaxElems\") (args (args variable))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (binop \"=<\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop \">=\" variable))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"getMaxElems\") (args variable)))", + "(clause (head (compound (functor \"maxT\") (args (args \"0\")))))", + "(clause (head (compound (functor \"maxT\") (args \"[]\"))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"memberT\") (args variable))))))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxTList\") (args (args variable)))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxT\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (head (compound (functor \"maxTList\") (args (list (t variable))))) (compound (functor \"maxTList\") (args variable)))", + "(clause (head (compound (functor \"maxTL\") (args (list (t variable))))) (compound (functor \"maxTL\") (args variable)))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"maxT\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"maxT\") (args variable))) (compound (functor \"memberT\") (args (args variable))))", + "(clause (head (compound (functor \"getMaxElems\") (args (list (t variable))))) (compound (functor \"getMaxElems\") (args variable)))", + "(clause (head (compound (functor \"getMaxElems\") (args (args (list (h variable)))))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"getMaxElems\") (args \"[]\"))))", + "(clause (head (compound (functor \"getMaxElems\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"getMaxElems\") (args (args (list (t variable)))))) (compound (functor \"getMaxElems\") (args (args variable))))", + "(clause (head (compound (functor \"getMaxElems\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"getMaxElems\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxSubtree\") (args variable)))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop variable \"=..\"))", + "(clause (head (compound (functor \"maxTrees\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop variable \"=\") (binop variable \">\"))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxTL\") (args variable)))", + "(clause (compound (functor \"maxRek\") (args (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"maxTrees\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"<\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable) (t \"[]\"))))))", + "(clause (compound (functor \"maxT\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))", + "(clause (head (compound (functor \"memberT\") (args (args variable)))) (binop variable \"=..\"))", + "(clause (binop variable \"=..\" (list (t (list (t \"[]\"))))))", + "(clause (binop \"=..\" (list (t (list (t \"[]\"))))))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (compound (functor \"max\") (args (list (t (list (h variable)))))))", + "(clause (compound (functor \"maxTL\") (args (args variable))) (binop \">\" variable))", + "(clause (compound (functor \"maxTL\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (head (compound (functor \"maxRek\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"<\" variable) (binop \"is\" variable))", + "(clause (compound (functor \"maxTList\") (args (args variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"maxT\") (args (list (t variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (head (compound (functor \"memberT\") (args variable))) (compound (functor \"memberT\") (args variable)))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args (args variable)))))))", + "(clause (head (compound (functor \"maxRek\") (args (list (h (compound (functor \"t\") (args variable)))) (args variable)))))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop \">\" variable))", + "(clause (head (compound (functor \"maxTlist\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args (args (args variable))))))) (compound (functor \"maxT\") (args variable)))", + "(clause (head (compound (functor \"maxT\") (args \"[]\" (args \"0\")))))", + "(clause (head (compound (functor \"maxList\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxT\") (args (args variable))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (head (compound (functor \"maxList\") (args (list (t variable))))) (compound (functor \"maxList\") (args variable)))", + "(clause (head (compound (functor \"maxTL\") (args (args variable)))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxTSub\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxTrees\") (args (args variable))) (binop \">\" variable))", + "(clause (compound (functor \"maxTList\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxTSub\") (args variable)))", + "(clause (compound (functor \"maxSubtree\") (args (args variable))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (head (compound (functor \"maximum\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"memberT\") (args variable)) (binop variable \">\"))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxList\") (args variable)))", + "(clause (compound (functor \"maxSubT\") (args (args variable))) (compound (functor \"maximum\") (args (args variable))))", + "(clause (head (compound (functor \"maxLT\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (head (compound (functor \"max\") (args (args variable)))))", + "(clause (head (compound (functor \"maxTree\") (args (args (list (t variable)))))) (compound (functor \"maxTree\") (args (args variable))))", + "(clause (compound (functor \"maxTL\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"maxTSub\") (args (args (list (h variable)))))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxTSub\") (args (list (t variable))))) (compound (functor \"maxTSub\") (args variable)))", + "(clause (head (compound (functor \"maxSubtree\") (args variable))) (binop variable \"=..\"))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))))", + "(clause (head (compound (functor \"maxTrees\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxRek\") (args variable)))", + "(clause (head (compound (functor \"maxSubtree\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"write\") (args variable)) (binop \"=\" variable))", + "(clause (binop variable \"=\") (binop variable \"<\"))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args variable))))) (binop \">\" variable))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"b\") (args (args variable))) (args variable)))))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxSubT\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"novP\") (args (args variable)))) (binop variable \"is\"))", + "(clause (compound (functor \"novP\") (args (args variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"memberT\") (args variable)) (binop \"is\" variable))", + "(clause (compound (functor \"novP\") (args (args variable))) (binop \">\" variable))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxLT\") (args variable)))", + "(clause (compound (functor \"write\") (args variable)) (binop variable \"=<\"))", + "(clause (head (compound (functor \"maxTL\") (args (args variable)))) (binop variable \"is\"))", + "(clause (compound (functor \"maxT\") (args variable)) (binop variable \">\"))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxTrees\") (args variable)))", + "(clause (head (compound (functor \"maxRek\") (args (list (t variable))))) (compound (functor \"maxRek\") (args variable)))", + "(clause (compound (functor \"write\") (args variable)) (binop variable \">\"))", + "(clause (binop \">\" variable) (binop variable \"is\"))", + "(clause (head (compound (functor \"maxTL\") (args (args variable)))))", + "(clause (head (compound (functor \"maxTL\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"maxTL\") (args (args variable))) (binop \"is\" variable))", + "(clause (head (compound (functor \"maxTree\") (args (args (list (h variable)))))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args (args variable)))))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"novP\") (args (args variable))) (binop \"is\" variable))", + "(clause (head (compound (functor \"maxTSub\") (args (args (list (t variable)))))) (compound (functor \"maxTSub\") (args (args variable))))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"maxT\") (args variable)) (binop \"=\" variable))", + "(clause (head (compound (functor \"maxLT\") (args (list (t variable))))) (compound (functor \"maxLT\") (args variable)))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop variable \">\"))", + "(clause (head (compound (functor \"maxTrees\") (args (list (t variable))))) (compound (functor \"maxTrees\") (args variable)))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxST\") (args variable)))", + "(clause (compound (functor \"maxTlist\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"maxST\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxTL\") (args (args variable))))", + "(clause (head (compound (functor \"maxST\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"maxSubT\") (args \"[]\"))))", + "(clause (head (compound (functor \"maxST\") (args (list (t variable))))) (compound (functor \"maxST\") (args variable)))", + "(clause (head (compound (functor \"maxST\") (args \"[]\"))))", + "(clause (head (compound (functor \"memberT\") (args variable))) (binop \"=..\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"maxST\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"maxSubtree\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"maxSubtree\") (args \"[]\"))))", + "(clause (head (compound (functor \"maxT\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"maxSubtree\") (args (args \"[]\")))))", + "(clause (compound (functor \"maxST\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"maxTlist\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop variable \"is\") (compound (functor \"maxT\") (args (args variable))))", + "(clause (compound (functor \"maxLT\") (args (args variable))) (binop \">\" variable))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (compound (functor \"maxTSub\") (args (args variable))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxT\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"maxTree\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"maxLT\") (args (args variable))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"maxTList\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"memberT\") (args (args variable))))", + "(clause (compound (functor \"maxRek\") (args (args variable))) (binop variable \">\"))", + "(clause (head (compound (functor \"maxT\") (args variable))) (compound (functor \"memberT\") (args variable)))", + "(clause (head (compound (functor \"maxTlist\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"maxTree\") (args \"[]\"))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"maxTlist\") (args variable)))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"maxT\") (args (args variable)))))))", + "(clause (head (compound (functor \"maxTree\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"maxT\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop \"<\" variable))", + "(clause (compound (functor \"maxT\") (args (args variable))) (compound (functor \"write\") (args variable)))", + "(clause (compound (functor \"maxTL\") (args variable)))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"is\" variable))", + "(clause (compound (functor \"maxRek\") (args (args variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (compound (functor \"memberT\") (args variable)))", + "(clause (head (compound (functor \"maxL\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=..\" variable) (binop variable \"=\"))", + "(clause (compound (functor \"maxL\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \">\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"novP\") (args (list (h variable))))) (compound (functor \"maxT\") (args variable)))", + "(clause (head (compound (functor \"maximum\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"maxSubT\") (args (args variable)))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (head (compound (functor \"maxT\") (args variable (args (compound (functor \"t\") (args variable)))))))", + "(clause (compound (functor \"maxTL\") (args (args variable))) (compound (functor \"max\") (args (list (t (list (h variable)))))))", + "(clause (head (compound (functor \"maxSubT\") (args (args variable)))) (compound (functor \"maximum\") (args (args (args variable)))))", + "(clause (binop variable \"=..\") (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"memb\") (args variable)) (compound (functor \"maxT\") (args variable))))))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"findall\") (args (args (compound (functor \"memb\") (args (args variable)))))))", + "(clause (head (compound (functor \"maxST\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"maxL\") (args (args variable))) (binop \"<\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"maximum\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"maxT\") (args variable (args variable)))))", + "(clause (compound (functor \"maxSubtree\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"maximum\") (args (args variable)))) (binop \">\" variable))", + "(clause (compound (functor \"maxTList\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"maxList\") (args \"[]\"))))", + "(clause (compound (functor \"maxSubT\") (args (args variable))))", + "(clause (head (compound (functor \"maximum\") (args variable))) (binop variable \">\"))", + "(clause (head (compound (functor \"maxT\") (args (compound (functor \"t\") (args (args (args variable)))) (args variable)))))", + "(clause (head (compound (functor \"maxSubT\") (args (args (list (t variable)))))) (compound (functor \"maxSubT\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxL\") (args (args variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"maxTL\") (args (args variable)))) (compound (functor \"max\") (args (args variable))))", + "(clause (compound (functor \"maxST\") (args (args variable))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (compound (functor \"maximum\") (args variable)))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop \"<\" variable))", + "(clause (compound (functor \"maxT\") (args variable)))", + "(clause (compound (functor \"maxList\") (args (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"maxT\") (args variable))) (compound (functor \"maxT\") (args variable)))", + "(clause (head (compound (functor \"maxSubT\") (args (args (list (h variable)))))) (compound (functor \"maxT\") (args (args variable))))", + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxTree\") (args (args variable))))", + "(clause (compound (functor \"maxList\") (args (args variable))) (binop \">\" variable))", + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (compound (functor \"maximum\") (args (args (args variable)))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (compound (functor \"maxT\") (args (args variable))) (compound (functor \"maximum\") (args variable)))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (compound (functor \"maxT\") (args variable)) (compound (functor \"maxSubtree\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"maxT\") (args variable)))" + ], + "distribution": [ + 47, + 0 + ], + "quality": 0.9584153667682335 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=..\" (list (t (list (h variable))))))" + ], + "distribution": [ + 45, + 0 + ], + "quality": 0.956066696736247 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 39, + 0 + ], + "quality": 0.9471176544792916 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"maxT\") (args (args variable))))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9342937036806089 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"maxT\") (args (args variable))) (binop \">\" variable))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9141100017512997 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"maxT\") (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 112, + 8 + ], + "quality": 0.9066949182918677 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\"))", + "(clause (binop \"=..\" (list (t (list (h variable))))) (binop variable \">=\"))" + ], + "distribution": [ + 34, + 0 + ], + "quality": 0.8908437185753054 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"maxT\") (args (args \"0\")))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.8895311658480561 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"maxT\") (args (args variable)))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8529153645194049 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=..\" (list (t (list (t variable))))) (compound (functor \"getMaxElems\") (args variable)))", + "(clause (head (compound (functor \"getMaxElems\") (args (list (t variable))))) (compound (functor \"getMaxElems\") (args variable)))" + ], + "distribution": [ + 0, + 18 + ], + "quality": 0.8442166232913237 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"findall\") (args (args (args variable)))) (compound (functor \"max\") (args variable)))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"memberT\") (args variable))))))" + ], + "distribution": [ + 1, + 13 + ], + "quality": 0.7129398863248633 + } + ] +}
\ No newline at end of file |