summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced/shiftleft_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
commit92c49ac708e04e545da6e7aafe91cac8f223f475 (patch)
treefe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/lists_advanced/shiftleft_2
parent320f6db34b5da13e259c3a55db9996a456bf8839 (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.json349
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