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/mirrorbt_2/bugs.json | 300 +++++++++++++++++++++++++++++ 1 file changed, 300 insertions(+) create mode 100644 prolog/problems/trees/mirrorbt_2/bugs.json (limited to 'prolog/problems/trees/mirrorbt_2') diff --git a/prolog/problems/trees/mirrorbt_2/bugs.json b/prolog/problems/trees/mirrorbt_2/bugs.json new file mode 100644 index 0000000..9cddfa0 --- /dev/null +++ b/prolog/problems/trees/mirrorbt_2/bugs.json @@ -0,0 +1,300 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args variable)))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args (args variable)))))))))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"mirrorBT\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head variable))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (compound (functor \"mirrorBT\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (binop variable \"=\"))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (compound (functor \"var\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args variable (args variable)))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))))", + "(clause (binop variable \"=\") (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable)))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable (args (args variable))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" variable))", + "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirror\") (args variable)))", + "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (binop variable \"=\") (compound (functor \"mirrorBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args \"[]\"))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirror\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable)))))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable (args (args variable)))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable))) (args variable)))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"var\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"var\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" variable))", + "(clause (compound (functor \"mirror\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (binop \"=\" variable) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop variable \"=\"))", + "(clause (compound (functor \"var\") (args variable)) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop variable \"=\"))", + "(clause (compound (functor \"mirror\") (args (args variable))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))))", + "(clause (binop (compound (functor \"depthBT\") (args variable)) \"=\" \"1\"))", + "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" variable))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"is\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"mirrorBt\") (args (args \"0\")))))", + "(clause (head (compound (functor \"mirrotBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirrorBT\") (args variable)))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"=\" \"1\"))", + "(clause (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args variable))))))", + "(clause (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args (args variable))))))))", + "(clause (compound (functor \"depthBT\") (args variable)))", + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"mirrorBT\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"mirrorBT\") (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"mirrotBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args variable))))", + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable))))))) (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable))))))))))", + "(clause (head (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"mirrorBT\") (args (args (compound (functor \"b\") (args (args variable)))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (compound (functor \"mirrorBT\") (args (args variable))))" + ], + "distribution": [ + 48, + 0 + ], + "quality": 0.9654913037362992 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args variable))))" + ], + "distribution": [ + 47, + 0 + ], + "quality": 0.9646532649442093 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (args (args variable)))))))))" + ], + "distribution": [ + 136, + 4 + ], + "quality": 0.9567501799346745 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args variable)))))))" + ], + "distribution": [ + 134, + 4 + ], + "quality": 0.9560559589329861 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))) (compound (functor \"mirrorBT\") (args (args variable))))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9349190623536209 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (compound (functor \"b\") (args variable))))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.9289235930419703 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"mirrorBT\") (args variable)))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9196076551396587 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (args variable)))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.9150210312301716 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args variable (args variable)))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.904848113180471 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args variable)))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8839111544291791 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8749968452423105 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args (args (args variable))))))) (binop variable \"=\"))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8670760925419618 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8670760925419618 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable (args (args variable))))))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8547590265925697 + }, + { + "class": false, + "condition": [ + "(clause (head variable))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8547590265925697 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8445220449617675 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"mirrorBT\") (args variable)) (binop \"=\" (compound (functor \"b\") (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8445220449617675 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mirrorBT\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"mirror\") (args variable)))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8341617279977557 + } + ] +} \ No newline at end of file -- cgit v1.2.1