From 794d4dc03dec8db33bf8afe8b1c0a126176407d1 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 10 Apr 2017 21:46:02 +0200 Subject: Prolog: add bugs files for trees problems --- prolog/problems/trees/memberbt_2/bugs.json | 322 +++++++++++++++++++++++++++++ 1 file changed, 322 insertions(+) create mode 100644 prolog/problems/trees/memberbt_2/bugs.json (limited to 'prolog/problems/trees/memberbt_2') diff --git a/prolog/problems/trees/memberbt_2/bugs.json b/prolog/problems/trees/memberbt_2/bugs.json new file mode 100644 index 0000000..24ab121 --- /dev/null +++ b/prolog/problems/trees/memberbt_2/bugs.json @@ -0,0 +1,322 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))", + "(clause (compound (functor \"memberBT\") (args variable)))", + "(clause (compound (functor \"memberBT\") (args variable)) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"memberBT\") (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable (args variable)))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"memberBT\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"memberBT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (compound (functor \"memberBT\") (args variable)) (binop variable \"=\"))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"member\") (args (args variable))))", + "(clause (binop variable \"\\=\") (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args variable)))))", + "(clause (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBR\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (binop variable \"\\=\") (compound (functor \"memberBT\") (args variable)))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"memberBT\") (args (args variable)))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (compound (functor \"member\") (args variable)))", + "(clause (binop variable \"==\"))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args variable))) (binop variable \"is\"))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"is\" variable))", + "(clause (head (compound (functor \"memberBT\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"b\") (args (args variable)))))", + "(clause (compound (functor \"memberBT\") (args variable)) (binop \"=\" variable))", + "(clause (binop variable \"is\") (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop variable \"\\=\"))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"==\" variable))", + "(clause (head (compound (functor \"memberBT\") (args variable (args variable)))))", + "(clause (head (compound (functor \"memberBT\") (args variable))) (binop variable \"==\"))", + "(clause (head (compound (functor \"member\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args variable (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"memberBT\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args variable)))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"memberBT\") (args variable)))", + "(clause (compound (functor \"b\") (args (args (args variable)))))", + "(clause (head (compound (functor \"memberBR\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBR\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (compound (functor \"b\") (args (args variable))))", + "(clause (head (compound (functor \"member\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (compound (functor \"b\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"\\=\" variable))", + "(clause (compound (functor \"member\") (args variable)) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args (args variable)))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"memberB\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" variable))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (compound (functor \"memberBT\") (args variable)) (compound (functor \"memberBT\") (args variable)))" + ], + "distribution": [ + 91, + 0 + ], + "quality": 0.9806574107120732 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"member\") (args variable)))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9162605207203031 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))", + "(clause (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))))" + ], + "distribution": [ + 6, + 88 + ], + "quality": 0.901358600101629 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))", + "(clause (compound (functor \"memberBT\") (args variable)))" + ], + "distribution": [ + 8, + 89 + ], + "quality": 0.8841395431693414 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))))" + ], + "distribution": [ + 13, + 111 + ], + "quality": 0.8678925934418005 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8677075196554401 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"memberBT\") (args variable)))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8672228487886583 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (compound (functor \"memberBT\") (args variable)))" + ], + "distribution": [ + 17, + 119 + ], + "quality": 0.8498481937811803 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memberBT\") (args (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8445950967995844 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))" + ], + "distribution": [ + 1, + 26 + ], + "quality": 0.8445518795467187 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args (args variable)))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8290348333259117 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args variable))))))))" + ], + "distribution": [ + 4, + 41 + ], + "quality": 0.8241813465267347 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"member\") (args variable)))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7930377038814806 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memberBT\") (args variable)) (binop variable \"=\"))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7930377038814806 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args variable))))))))" + ], + "distribution": [ + 6, + 42 + ], + "quality": 0.7921836824497472 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"memberBT\") (args (args variable))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args (args variable))))" + ], + "distribution": [ + 39, + 134 + ], + "quality": 0.7530309477088872 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable (args variable)))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7407021745709099 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" variable))" + ], + "distribution": [ + 3, + 21 + ], + "quality": 0.7090377752382846 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"memberBT\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6981908274110581 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memberBT\") (args variable))) (compound (functor \"memberBT\") (args variable)))", + "(clause (head (compound (functor \"memberBT\") (args variable (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"memberBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))" + ], + "distribution": [ + 59, + 136 + ], + "quality": 0.6773900662364584 + } + ] +} \ No newline at end of file -- cgit v1.2.1