diff options
Diffstat (limited to 'prolog/problems/lists_advanced/shiftright_2/bugs.json')
| -rw-r--r-- | prolog/problems/lists_advanced/shiftright_2/bugs.json | 464 |
1 files changed, 464 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/shiftright_2/bugs.json b/prolog/problems/lists_advanced/shiftright_2/bugs.json new file mode 100644 index 0000000..cab63bf --- /dev/null +++ b/prolog/problems/lists_advanced/shiftright_2/bugs.json @@ -0,0 +1,464 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"shiftright\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"shiftleft\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args \"[]\"))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"shiftleft\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"shiftright\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"rev\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args variable (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"shiftright\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable)) (args (list (t (list (h variable)))))))))", + "(clause (compound (functor \"rev\") (args (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"del\") (args variable)) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"last_elem\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"rev\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"last_elem\") (args variable)) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"last_elem\") (args (args variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"shiftright\") (args (args variable))))", + "(clause (compound (functor \"last_elem\") (args (args variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"rev\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"shiftright\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"t_elem\") (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"rev\") (args (args (list (t variable))))) (compound (functor \"rev\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"t_elem\") (args (args variable)))))", + "(clause (compound (functor \"del\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"rev\") (args variable)) (compound (functor \"del\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"shiftright\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"shiftright\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"rev\") (args (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftright\") (args (list (t \"[]\")) (args (list (h variable)))))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"shiftright\") (args (list (t (list (h variable)))) (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable)) (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"rev\") (args (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"shiftleft\") (args (args variable))) (compound (functor \"rev\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (h variable)))))) (compound (functor \"shiftright\") (args (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"rev\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (compound (functor \"shiftright\") (args (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"shiftright\") (args (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"conc\") (args variable (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"del_last\") (args (args \"[]\" (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (t (list (t variable)))))))) (compound (functor \"shiftright\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"del_last\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (compound (functor \"shiftright\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"shiftright\") (args (args (compound (functor \"conc\") (args (args (args variable))))))))", + "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"shiftleft\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"last_elem\") (args (args variable)))) (compound (functor \"last_elem\") (args (args variable))))", + "(clause (compound (functor \"last_elem\") (args (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"del_last\") (args variable)))", + "(clause (head (compound (functor \"del_last\") (args (list (t \"[]\")) (args (args variable))))))", + "(clause (head (compound (functor \"del_last\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (h variable)))))) (compound (functor \"del_last\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del_last\") (args (list (t variable))))) (compound (functor \"del_last\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"del_last\") (args (list (h variable)) (args \"[]\")))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"del_last\") (args (list (h variable)) (args (args variable))))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"del\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"del_last\") (args (list (t \"[]\")) (args \"[]\")))))", + "(clause (head (compound (functor \"del_last\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"del_last\") (args (args (args variable))))) (compound (functor \"del_last\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"shiftright\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"last\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"findlast\") (args (list (h variable)))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))))" + ], + "distribution": [ + 43, + 0 + ], + "quality": 0.9544875092982839 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 42, + 1 + ], + "quality": 0.9256141411419427 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9241448036677106 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftright\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 2, + 66 + ], + "quality": 0.9230760007308819 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.920998930735984 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 33, + 1 + ], + "quality": 0.9036493742845172 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"shiftright\") (args (args variable))))" + ], + "distribution": [ + 21, + 0 + ], + "quality": 0.8994670201920275 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 1, + 40 + ], + "quality": 0.894174740526763 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"shiftleft\") (args (args variable))))" + ], + "distribution": [ + 3, + 47 + ], + "quality": 0.8879015719689589 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 2, + 45 + ], + "quality": 0.8828800380948056 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8746032887862484 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8746032887862484 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8746032887862484 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8574419492958788 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8574419492958788 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (binop variable \"=\"))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.823250673256642 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8175234160576993 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"t_elem\") (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7757149640806767 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7757149640806767 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"shiftright\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7471668102545188 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 1, + 16 + ], + "quality": 0.7359401462937517 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.7247160718268745 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7162895278146735 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args (list (h variable)) (args variable)))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6715599948189581 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftright\") (args variable))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6715599948189581 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"rev\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 0, + 7 + ], + "quality": 0.6625971589972083 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"last_elem\") (args (args variable))) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "distribution": [ + 2, + 11 + ], + "quality": 0.609507882414573 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"del\") (args variable)) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "distribution": [ + 6, + 14 + ], + "quality": 0.4752154241003168 + } + ] +}
\ No newline at end of file |