diff options
Diffstat (limited to 'prolog/problems/license_plates/joindigits_2/bugs.json')
| -rw-r--r-- | prolog/problems/license_plates/joindigits_2/bugs.json | 376 |
1 files changed, 376 insertions, 0 deletions
diff --git a/prolog/problems/license_plates/joindigits_2/bugs.json b/prolog/problems/license_plates/joindigits_2/bugs.json new file mode 100644 index 0000000..41b88a7 --- /dev/null +++ b/prolog/problems/license_plates/joindigits_2/bugs.json @@ -0,0 +1,376 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (binop variable \"is\" (binop (binop \"*\" \"10\") \"+\")))", + "(clause (binop \"is\" (binop (binop \"*\" \"10\") \"+\" variable)))", + "(clause (binop \"is\" (binop (binop variable \"*\" \"10\") \"+\")))", + "(clause (binop \"is\" (binop (binop \"*\" \"10\") \"+\")))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"is\" (binop (binop variable \"*\") \"+\")))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"joindigits\") (args \"[]\"))))", + "(clause (head (compound (functor \"joindigits\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"joindigits\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (binop variable \"is\") (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (t variable)))))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (binop variable \"=\"))", + "(clause (binop variable \"is\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joindigits\") (args variable)))", + "(clause (compound (functor \"joindigits\") (args (args variable))))", + "(clause (binop \"is\" (binop (binop \"10\" \"*\") \"+\" variable)))", + "(clause (binop \"is\" (binop (binop \"10\" \"*\" variable) \"+\")))", + "(clause (binop variable \"is\" (binop (binop \"10\" \"*\") \"+\")))", + "(clause (binop \"is\" (binop (binop \"10\" \"*\") \"+\")))", + "(clause (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (h variable)))))) (binop variable \"is\"))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"is\" (binop (binop \"*\" variable) \"+\")))", + "(clause (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (binop \"is\" (binop (binop variable \"*\") \"+\")))", + "(clause (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\") (compound (functor \"joindigits\") (args variable)))", + "(clause (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))))", + "(clause (binop variable \"is\"))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"is\" (binop (binop \"*\" variable) \"+\")))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (h variable)))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"is\" (binop \"*\" \"10\")))", + "(clause (binop variable \"is\" (binop \"*\" \"10\")))", + "(clause (binop \"is\" (binop variable \"*\" \"10\")))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (h variable)))))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"is\" (binop variable \"*\")))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (binop variable \"is\") (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" (binop \"+\" variable)))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (t variable)))))) (compound (functor \"joindigits\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (binop \"=\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"joindigits\") (args variable (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" (binop (binop \"*\" variable) \"+\")))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"joindigits\") (args (args (list (t variable))))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (binop (binop variable \"*\" \"10\") \"+\")))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (binop (binop variable \"*\") \"+\")))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (binop variable \"is\"))", + "(clause (binop \"=\" (binop (binop \"*\" \"10\") \"+\" variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (binop variable \"=\" (binop (binop \"*\" \"10\") \"+\")))", + "(clause (binop \"=\" (binop (binop \"*\" \"10\") \"+\")))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" (binop (binop variable \"*\") \"+\")))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop variable \"=\"))", + "(clause (binop variable \"is\") (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"joindigits\") (args variable)))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (compound (functor \"join\") (args variable)))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"join\") (args (args (args variable))))) (binop variable \"is\"))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t \"[]\"))))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"is\"))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joindigits\") (args (binop \"|\" variable))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joinDigits\") (args (list (t variable)))))", + "(clause (compound (functor \"joindigits\") (args (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (t variable)))))) (binop variable \"=\"))", + "(clause (compound (functor \"joindigits\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (binop variable \"=\"))", + "(clause (binop \"=\" variable) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (compound (functor \"join\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (list (t variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"joindigits\") (args (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable)))) (args (list (t variable)))))))", + "(clause (compound (functor \"join\") (args variable)))", + "(clause (binop variable \"is\") (compound (functor \"joindigits\") (args (binop variable \"|\"))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"joindigits\") (args variable)))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable)))) (args variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"joindigits\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"joindigits\") (args (args (list (h variable))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (binop variable \"=\") (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (compound (functor \"join\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"join\") (args (args (args variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (binop variable \"+\")))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable))))))", + "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"is\" variable))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (t variable)))))) (compound (functor \"jonindigits\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"join\") (args (args variable)))) (binop \"is\" (binop \"+\" variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args (list (h variable)))))) (binop variable \"is\"))" + ], + "distribution": [ + 69, + 1 + ], + "quality": 0.9560144179808076 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))))" + ], + "distribution": [ + 35, + 0 + ], + "quality": 0.9429770690603307 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joindigits\") (args variable)))" + ], + "distribution": [ + 106, + 4 + ], + "quality": 0.9416905063775654 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args (list (h variable)))))) (compound (functor \"joindigits\") (args (list (h variable)))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8602156049676296 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\") (compound (functor \"joindigits\") (args variable)))" + ], + "distribution": [ + 0, + 17 + ], + "quality": 0.8422369175983611 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args variable)))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8386863541702073 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8241111061202908 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (binop variable \"is\") (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (args (list (t variable)))))) (compound (functor \"joindigits\") (args (args variable))))" + ], + "distribution": [ + 8, + 60 + ], + "quality": 0.8212395065957484 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (binop variable \"is\") (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (compound (functor \"joindigits\") (args variable)))" + ], + "distribution": [ + 6, + 40 + ], + "quality": 0.773299468529356 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (compound (functor \"joindigits\") (args variable)))" + ], + "distribution": [ + 2, + 23 + ], + "quality": 0.7619920017487898 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (binop variable \"is\") (compound (functor \"joindigits\") (args (list (h variable)))))" + ], + "distribution": [ + 1, + 19 + ], + "quality": 0.739716509346772 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (compound (functor \"joindigits\") (args variable)))", + "(clause (binop variable \"is\" (binop (binop \"*\" \"10\") \"+\")))" + ], + "distribution": [ + 12, + 43 + ], + "quality": 0.6997174491315902 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"joindigits\") (args (list (t variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (compound (functor \"joindigits\") (args (list (h variable)))))" + ], + "distribution": [ + 3, + 21 + ], + "quality": 0.6987839460647776 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (binop \"is\" (binop \"+\" variable)))", + "(clause (binop variable \"is\") (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (h variable))))))) (compound (functor \"joindigits\") (args (list (h variable)))))", + "(clause (binop variable \"=\"))" + ], + "distribution": [ + 0, + 11 + ], + "quality": 0.6629050612821025 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t variable))))) (compound (functor \"joindigits\") (args variable)))", + "(clause (binop variable \"is\" (binop (binop \"*\" \"10\") \"+\")))" + ], + "distribution": [ + 19, + 48 + ], + "quality": 0.6541586117270083 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"joindigits\") (args (list (t (list (t variable))))))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 4, + 18 + ], + "quality": 0.639434652068739 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (args variable)))) (compound (functor \"joindigits\") (args (args variable))))", + "(clause (compound (functor \"joindigits\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\"))" + ], + "distribution": [ + 1, + 11 + ], + "quality": 0.6191430470032865 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"joindigits\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"joindigits\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"joindigits\") (args (args variable))))" + ], + "distribution": [ + 9, + 19 + ], + "quality": 0.5042444250257836 + } + ] +}
\ No newline at end of file |