diff options
Diffstat (limited to 'prolog/problems/sorting/quick_sort_2/bugs.json')
-rw-r--r-- | prolog/problems/sorting/quick_sort_2/bugs.json | 594 |
1 files changed, 594 insertions, 0 deletions
diff --git a/prolog/problems/sorting/quick_sort_2/bugs.json b/prolog/problems/sorting/quick_sort_2/bugs.json new file mode 100644 index 0000000..1245417 --- /dev/null +++ b/prolog/problems/sorting/quick_sort_2/bugs.json @@ -0,0 +1,594 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\"))))", + "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args (list (t variable))))))", + "(clause (binop variable \"=\"))", + "(clause (compound (functor \"pivoting\") (args variable (args (list (h variable))))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args variable))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))))", + "(clause (binop variable \">\"))", + "(clause (binop \">\" variable))", + "(clause (binop \"=\" variable))", + "(clause (binop variable \"=<\"))", + "(clause (binop \"=<\" variable))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"quick_sort\") (args variable))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"pivoting\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (t variable)))))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (compound (functor \"pivoting\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop variable \">\"))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t \"[]\")) (args (list (h variable)))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \">\" variable))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"quick_sort\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (binop variable \">\") (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (binop \">\" variable) (binop \"=\" (list (h variable))))", + "(clause (binop \"=<\" variable) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (args \"[]\")))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))", + "(clause (binop variable \"=\") (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"pivoting\") (args variable (args (args (args \"[]\")))))))", + "(clause (head (compound (functor \"pivoting\") (args variable (args (args \"[]\"))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"quick_sort\") (args (args (list (h variable)))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quicksort\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (args (list (t (list (h variable)))))))) (binop variable \"=\"))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"isort\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable) (t \"[]\")))))))", + "(clause (head (compound (functor \"pivoting\") (args variable (args (list (t \"[]\")))))))", + "(clause (binop variable \"<\"))", + "(clause (binop \"<\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quicksort\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable)) (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"isort\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \">\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (args (list (h variable)))))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args \"[]\")))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \">\"))", + "(clause (binop variable \"=\") (compound (functor \"quick_sort\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args variable))))) (compound (functor \"pivoting\") (args (args (args variable)))))", + "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"quicksort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args (args \"[]\" (args (args \"[]\")))))))", + "(clause (head (compound (functor \"pivoting\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"pivoting\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))", + "(clause (head (compound (functor \"pivoting\") (args variable))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"append\") (args variable)))", + "(clause (compound (functor \"isort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (args (list (h variable)))))) (compound (functor \"quick_sort\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"pivoting\") (args (args (args variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"isort\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"pivoting\") (args variable)))", + "(clause (compound (functor \"quick_sort\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"pivoting\") (args (args (args (args variable))))))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"quick_sort\") (args (list (h variable)))))", + "(clause (binop \"=<\" variable) (binop \"=\" variable))", + "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"isort\") (args (list (h variable)))))", + "(clause (binop variable \"=<\") (binop \"=\" variable))", + "(clause (compound (functor \"quicksort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (binop variable \"=\"))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"quick_sort\") (args (list (h variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"is\" (binop (binop \"+\" variable) \"//\")))", + "(clause (binop \"==\" (list (h variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"<\"))", + "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (compound (functor \"min\") (args (list (h variable)))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \">\" variable))", + "(clause (compound (functor \"pivoting\") (args variable)) (binop \"=\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (args variable)))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"max\") (args (list (h variable)))) (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args (args \"[]\")))))))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \"<\"))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"concat\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable)) (args \"[]\")))))))", + "(clause (binop \"is\" (binop \"//\" \"2\")))", + "(clause (binop \"is\" (binop (binop variable \"+\") \"//\" \"2\")))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"append\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"min\") (args (list (t variable)))) (compound (functor \"pivoting\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (compound (functor \"pivoting\") (args variable)) (binop \">\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \">\" variable))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"concat\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"concat\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"min\") (args (list (t variable)))))", + "(clause (binop variable \"<\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (list (h variable))))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"append\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (compound (functor \"pivoting\") (args variable)) (binop \"<\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (args \"[]\")))))))", + "(clause (binop variable \"is\" (binop \"//\" \"2\")))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"<\" variable))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (t \"[]\")) (args (args (list (h variable)))))))))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" (binop (binop variable \"+\") \"//\")))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"max\") (args (list (t variable)))) (compound (functor \"pivoting\") (args (args (list (t variable))))))", + "(clause (binop \"is\" (binop (binop \"+\" variable) \"//\" \"2\")))", + "(clause (head (compound (functor \"pivoting\") (args (args (args \"[]\" (args (list (h variable)))))))))", + "(clause (binop variable \"is\") (compound (functor \"pivoting\") (args variable)))", + "(clause (compound (functor \"min\") (args (list (h variable)))) (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop variable \">\"))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop \"=\" variable))", + "(clause (binop variable \">\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop \"<\" variable))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"quick_sort\") (args variable)) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"==\"))", + "(clause (compound (functor \"quicksort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args (list (t variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"append\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"quick_sort\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"concat\") (args (args (list (t variable))))))", + "(clause (binop \">\" variable) (binop \"=\" variable))", + "(clause (head (compound (functor \"quick_sort\") (args variable))))", + "(clause (binop variable \">\") (binop \"=\" variable))", + "(clause (compound (functor \"last_elem\") (args (args variable))) (compound (functor \"pivoting\") (args variable)))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (h variable)))))))) (binop variable \">\"))", + "(clause (head (compound (functor \"quick_sort\") (args (args (list (t variable)))))) (compound (functor \"quick_sort\") (args (args variable))))", + "(clause (binop \"==\" (list (t variable))))", + "(clause (head (compound (functor \"quicksort\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"append\") (args (args (list (t variable))))))", + "(clause (compound (functor \"last_elem\") (args variable)) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"quicksort\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (list (t variable))))))) (compound (functor \"pivoting\") (args (args (args variable)))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (args (list (t variable)))))))) (compound (functor \"pivoting\") (args (args (args (args variable))))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"quick_sort\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t (list (h variable))))))) (compound (functor \"isort\") (args (list (t (list (h variable)))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (list (h variable)))))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"pivoting\") (args (args (args (list (h variable))))))) (binop variable \"=<\"))", + "(clause (binop \"=<\" variable) (compound (functor \"pivoting\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args variable (args variable)))))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args (list (h variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"quicksort\") (args \"[]\"))))", + "(clause (head (compound (functor \"pivoting\") (args variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"pivoting\") (args (args (list (t variable))))))", + "(clause (binop \">\" variable) (compound (functor \"pivoting\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))" + ], + "distribution": [ + 90, + 0 + ], + "quality": 0.9764882155582799 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))" + ], + "distribution": [ + 87, + 0 + ], + "quality": 0.9755379758772118 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 75, + 0 + ], + "quality": 0.9708975117350563 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))" + ], + "distribution": [ + 73, + 0 + ], + "quality": 0.9699604893023981 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"quick_sort\") (args (args variable))))" + ], + "distribution": [ + 53, + 0 + ], + "quality": 0.9674066980469899 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args (args (list (h variable))))))" + ], + "distribution": [ + 104, + 2 + ], + "quality": 0.9626511754052124 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9598388529668453 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))" + ], + "distribution": [ + 2, + 120 + ], + "quality": 0.9580012423061603 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"pivoting\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 3, + 121 + ], + "quality": 0.9500584085841223 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))" + ], + "distribution": [ + 8, + 147 + ], + "quality": 0.9403859611666608 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))" + ], + "distribution": [ + 5, + 125 + ], + "quality": 0.9363611655439407 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\"))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))" + ], + "distribution": [ + 6, + 121 + ], + "quality": 0.9262882532102532 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 25, + 0 + ], + "quality": 0.9240643023231885 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 49, + 2 + ], + "quality": 0.916880152068617 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args (args \"[]\")))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))" + ], + "distribution": [ + 13, + 152 + ], + "quality": 0.9140155443303338 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args variable))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.8951314130170517 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"pivoting\") (args (args (args variable)))) (compound (functor \"quick_sort\") (args variable)))", + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 11, + 121 + ], + "quality": 0.8897339920225685 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args variable))) (compound (functor \"pivoting\") (args (args variable))))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\"))))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.882954713838925 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quicksort\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8754484264833706 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (t variable))))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8654973710066844 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable)) (args variable)))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8416671288774003 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (binop \"=\" variable))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8416671288774003 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8264014440638541 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"quick_sort\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"pivoting\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"pivoting\") (args (args (args (args variable))))) (compound (functor \"quick_sort\") (args variable)))" + ], + "distribution": [ + 29, + 154 + ], + "quality": 0.8243899448937496 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"quick_sort\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 30, + 148 + ], + "quality": 0.8142204836346375 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7882138095581407 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"quick_sort\") (args (args (list (h variable)))))) (compound (functor \"quick_sort\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7882138095581407 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.760358883852663 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"pivoting\") (args (args (args variable)))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.760358883852663 + } + ] +}
\ No newline at end of file |