diff options
Diffstat (limited to 'prolog/problems/license_plates/genexp_2/bugs.json')
| -rw-r--r-- | prolog/problems/license_plates/genexp_2/bugs.json | 227 |
1 files changed, 227 insertions, 0 deletions
diff --git a/prolog/problems/license_plates/genexp_2/bugs.json b/prolog/problems/license_plates/genexp_2/bugs.json new file mode 100644 index 0000000..1ed260f --- /dev/null +++ b/prolog/problems/license_plates/genexp_2/bugs.json @@ -0,0 +1,227 @@ +{ + "patterns": [ + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"genexp\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args variable)))))", + "(clause (binop variable \"=..\"))", + "(clause (compound (functor \"memb\") (args variable)) (binop \"=..\" (list (h variable))))", + "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=..\" (list (t (list (t (list (h variable))))))))", + "(clause (binop \"=..\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"genexp\") (args (args variable)))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=..\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=..\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"genexp\") (args (args variable)))) (binop variable \"=..\"))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))) (binop \"=..\" (list (t (list (t (list (h variable))))))))", + "(clause (binop \"=\" (binop \"+\" variable)))", + "(clause (binop \"=\" (binop variable \"+\")))", + "(clause (head (compound (functor \"genexp\") (args (list (t variable))))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=..\" (list (t (list (t (list (h variable))))))))", + "(clause (binop variable \"=..\") (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"genexp\") (args \"[]\"))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=..\" (list (t (list (t (list (h variable))))))))", + "(clause (binop \"=\" (binop \"-\" variable)))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args (args \"[]\")))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args \"[]\" (args \"[]\")))))", + "(clause (binop \"=\" (binop variable \"-\")))", + "(clause (binop variable \"=..\") (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (compound (functor \"genexp\") (args (list (t variable)))))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"member\") (args variable)) (binop \"=..\" (list (h variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"-\")))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"*\")))", + "(clause (compound (functor \"genexp\") (args (args variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"/\")))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=..\" (list (t (list (h variable))))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"+\" variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"genexp\") (args variable)))", + "(clause (binop \"=\" (binop \"*\" variable)))", + "(clause (head (compound (functor \"genexp\") (args (args variable)))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"/\" variable)))", + "(clause (binop \"=\" (binop variable \"*\")))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"*\" variable)))", + "(clause (binop \"=..\" variable))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop \"-\" variable)))", + "(clause (binop variable \"=\") (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (head (compound (functor \"genexp2\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"genexp\") (args variable))))", + "(clause (head (compound (functor \"genexp2\") (args (list (t variable))))) (compound (functor \"genexp2\") (args variable)))", + "(clause (binop variable \"\\=\" \"[]\"))", + "(clause (binop \"\\=\" \"[]\"))", + "(clause (binop variable \"\\=\") (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"+\" variable)))", + "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"*\" variable)))", + "(clause (head (compound (functor \"genexp\") (args (args (list (h variable)))))) (binop variable \"=..\"))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"-\" variable)))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"/\" variable)))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (binop variable \"=..\") (binop \"=\" variable))", + "(clause (head (compound (functor \"genexp\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"genexp\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))))", + "(clause (binop variable \"=\") (compound (functor \"genexp\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=..\" (list (t (list (t (list (h variable))))))))", + "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (compound (functor \"genexp\") (args (list (t variable)))))", + "(clause (compound (functor \"conc\") (args (list (t variable)))) (compound (functor \"genexp\") (args (list (t variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=..\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (list (h variable)))) (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))))", + "(clause (compound (functor \"genexp\") (args (list (t variable)))) (compound (functor \"genexp\") (args (list (t variable)))))", + "(clause (binop variable \"=\") (binop \"=..\" variable))", + "(clause (head (compound (functor \"genexp\") (args variable))) (binop variable \"=\"))", + "(clause (compound (functor \"genexp\") (args (list (h variable)))) (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"\\=\"))", + "(clause (binop \"=\" (binop \"+\" variable)) (compound (functor \"genexp\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args variable)) (binop variable \"\\=\"))", + "(clause (binop \"=\" (list (h variable) (t variable))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (compound (functor \"genexp\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"=..\") (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"genexp\") (args (args (list (t variable)))))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))) (binop \"=..\" variable))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=..\" variable))", + "(clause (head (compound (functor \"genexp\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"+\")))", + "(clause (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop variable \"=..\") (binop \"=\" (list (h variable))))", + "(clause (binop \"=..\" (list (h variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"-\")))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"/\")))", + "(clause (binop \"=\" (binop \"-\" variable)) (compound (functor \"genexp\") (args (args variable))))", + "(clause (binop variable \"=..\") (binop \"=..\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"append\") (args (args (args variable)))))", + "(clause (binop \"=..\" (list (t (list (t (list (h variable))))))) (compound (functor \"genexp\") (args (args variable))))", + "(clause (binop variable \"is\") (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (head (compound (functor \"genexp2\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"genexp\") (args variable)) (compound (functor \"genexp\") (args variable)))", + "(clause (binop variable \"=..\") (binop \"=..\" (list (t (list (t (list (h variable))))))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"*\")))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))) (compound (functor \"genexp\") (args (list (h variable)))))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"genexp\") (args (args variable)))) (compound (functor \"genexp2\") (args (args variable))))", + "(clause (head (compound (functor \"genexp\") (args (list (t (list (h variable))))))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"genexp\") (args (list (t variable)))))", + "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"rev\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"genexp\") (args (list (t variable)))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (t variable))))))) (compound (functor \"genexp\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"conc\") (args (args (list (t (list (h variable))))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args (list (h variable)))))))" + ], + "distribution": [ + 38, + 0 + ], + "quality": 0.952514892016524 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args (args \"[]\")))))" + ], + "distribution": [ + 64, + 2 + ], + "quality": 0.9352445958874126 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args \"[]\"))))" + ], + "distribution": [ + 69, + 3 + ], + "quality": 0.9239003599850174 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))" + ], + "distribution": [ + 40, + 1 + ], + "quality": 0.9184237224154168 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args variable))))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9153270798558547 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"genexp\") (args (args variable))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.894160931018167 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args variable))) (compound (functor \"append\") (args (args (args variable)))))" + ], + "distribution": [ + 0, + 3 + ], + "quality": 0.457726715541855 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"genexp\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"genexp\") (args (args variable))) (binop \"=\" (binop variable \"-\")))" + ], + "distribution": [ + 0, + 4 + ], + "quality": 0.4330161100822562 + } + ] +}
\ No newline at end of file |