diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:35:01 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:35:01 +0100 |
commit | 92c49ac708e04e545da6e7aafe91cac8f223f475 (patch) | |
tree | fe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/lists_advanced/shiftleft_2 | |
parent | 320f6db34b5da13e259c3a55db9996a456bf8839 (diff) |
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/lists_advanced/shiftleft_2')
-rw-r--r-- | prolog/problems/lists_advanced/shiftleft_2/bugs.json | 349 |
1 files changed, 349 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/shiftleft_2/bugs.json b/prolog/problems/lists_advanced/shiftleft_2/bugs.json new file mode 100644 index 0000000..04609fd --- /dev/null +++ b/prolog/problems/lists_advanced/shiftleft_2/bugs.json @@ -0,0 +1,349 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args \"[]\"))))", + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftleft\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"shiftleft\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftleft\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t variable)))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"shiftleft\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t (list (h variable)))))))))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"shiftleft\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args 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 \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (args (list (h 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))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (compound (functor \"conc\") (args variable))))", + "(clause (head (compound (functor \"shiftleft\") (args variable))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t \"[]\")) (args (list (h variable)))))))", + "(clause (head (compound (functor \"left\") (args (list (t (list (h variable)))) (args (list (h variable)))))))", + "(clause (head (compound (functor \"left\") (args (list (t (list (t variable))))))) (compound (functor \"left\") (args (list (t variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (args (compound (functor \"conc\") (args (args (args variable)))))))))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"shiftleft\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"append\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"append\") (args (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args (compound (functor \"conc\") (args variable)))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"left\") (args (list (h variable)))))", + "(clause (head (compound (functor \"left\") (args (list (h variable))))) (compound (functor \"left\") (args (list (h variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"left\") (args (list (t variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"append\") (args (args (args variable)))))", + "(clause (compound (functor \"shiftleft\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t (list (h variable))))))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"left\") (args (args (list (t variable)))))) (compound (functor \"left\") (args (args variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args variable))))", + "(clause (head (compound (functor \"shiftleft\") (args \"[]\" (args (list (h variable)))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (compound (functor \"conc\") (args (args (list (h variable))))))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"concat\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t (list (h variable)))) (args (list (h variable)))))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"shiftleft\") (args (args (list (h variable)))))) (compound (functor \"left\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (args (list (t variable)))))) (compound (functor \"left\") (args (args (list (t variable))))))", + "(clause (compound (functor \"shiftleft\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"shiftleft\") (args (list (t (list (h variable)))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 69, + 0 + ], + "quality": 0.9735063586852684 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 4, + 186 + ], + "quality": 0.9729895641497852 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable)) (args (list (h variable)))))))" + ], + "distribution": [ + 41, + 0 + ], + "quality": 0.9545110973173283 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9383064708954235 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t variable)))))))" + ], + "distribution": [ + 29, + 0 + ], + "quality": 0.9337500809431362 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 13, + 187 + ], + "quality": 0.9297722589938553 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.928131935844377 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8999602495440122 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8945160184994223 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args (list (t (list (h variable)))))))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8885033852926123 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8735634581359323 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable)) (args variable)))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8658360225106579 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"shiftleft\") (args (args variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8274301222040094 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7906938494946442 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7906938494946442 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 1, + 18 + ], + "quality": 0.7836264816857417 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7651868458596011 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (list (t variable))))) (binop \"=\" (compound (functor \"conc\") (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7376026176672326 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7376026176672326 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7376026176672326 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7376026176672326 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6946627662225194 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"shiftleft\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 113, + 208 + ], + "quality": 0.6418259859921002 + } + ] +}
\ No newline at end of file |