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/insertbt_3/bugs.json | 239 +++++++++++++++++++++++++++++ 1 file changed, 239 insertions(+) create mode 100644 prolog/problems/trees/insertbt_3/bugs.json (limited to 'prolog/problems/trees/insertbt_3') diff --git a/prolog/problems/trees/insertbt_3/bugs.json b/prolog/problems/trees/insertbt_3/bugs.json new file mode 100644 index 0000000..5dfe22a --- /dev/null +++ b/prolog/problems/trees/insertbt_3/bugs.json @@ -0,0 +1,239 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"insertBT\") (args variable (args (args (compound (functor \"b\") (args (args variable)))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insertBT\") (args variable))) (compound (functor \"insertBT\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"insertBT\") (args variable))) (compound (functor \"deleteBT\") (args variable)))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (compound (functor \"deleteBT\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))) (compound (functor \"deleteBT\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args variable)))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"insertBT\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"insertBT\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args variable))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (compound (functor \"insertBT\") (args variable)))", + "(clause (compound (functor \"insertBT\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable))))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)))))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"insertBT\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"insertBT\") (args (args (args variable)))))", + "(clause (compound (functor \"insertBT\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"insertBT\") (args variable)))", + "(clause (compound (functor \"insertBT\") (args (args (args variable)))))", + "(clause (compound (functor \"insertBT\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"imInsert\") (args variable (args (args (compound (functor \"b\") (args (args variable)))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args (args variable)))))))) (compound (functor \"insertBT\") (args variable)))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))) (compound (functor \"insertBT\") (args (args (args variable)))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"imInsert\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"imInsert\") (args variable)))", + "(clause (head (compound (functor \"moveUp\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"imInsert\") (args variable)))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))) (compound (functor \"delete\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args variable))) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable)))))))))", + "(clause (compound (functor \"deleteBT\") (args (args (args variable)))) (compound (functor \"insertBT\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (compound (functor \"deleteBT\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args (args (args variable))))))))))", + "(clause (head (compound (functor \"insertBT\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"deleteBT\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))) (args (compound (functor \"b\") (args variable))))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (compound (functor \"deleteBT\") (args variable)))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args variable)))) (compound (functor \"insertBT\") (args variable)))", + "(clause (head (compound (functor \"insertBT\") (args (args variable (args (compound (functor \"b\") (args variable))))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable)))))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable (args (compound (functor \"b\") (args (args (args variable))))))))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))))", + "(clause (head (compound (functor \"insertBT\") (args variable (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable)))))))))))", + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args (compound (functor \"b\") (args variable))))))))))", + "(clause (compound (functor \"insert\") (args (args variable))))", + "(clause (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insertBT\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))))))))", + "(clause (head (compound (functor \"insertBT\") (args variable (args (args (compound (functor \"b\") (args (args (args (compound (functor \"b\") (args (args variable)))))))))))))", + "(clause (head (compound (functor \"insertTOP\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"insertTOP\") (args variable)))", + "(clause (head (compound (functor \"insertTOP\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insertTOP\") (args variable))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"imInsert\") (args (args (args variable)))))", + "(clause (binop \"=\" (compound (functor \"b\") (args variable))) (compound (functor \"moveUp\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"moveUp\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"moveUp\") (args (args (args variable)))))", + "(clause (head (compound (functor \"moveUp\") (args variable))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"moveUp\") (args (compound (functor \"b\") (args variable))))) (compound (functor \"moveUp\") (args variable)))", + "(clause (head (compound (functor \"imInsert\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"imInsert\") (args (args variable))))", + "(clause (compound (functor \"insertTOP\") (args (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"imInsert\") (args (args variable))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (compound (functor \"b\") (args variable))))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (compound (functor \"insertTOP\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"imInsert\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"imInsert\") (args (args (args variable)))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"moveUp\") (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args (args (args variable))))))", + "(clause (head (compound (functor \"imInsert\") (args (args (compound (functor \"b\") (args variable)) (args (compound (functor \"b\") (args variable))))))))", + "(clause (head (compound (functor \"moveUp\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"moveUp\") (args variable)))", + "(clause (head (compound (functor \"imInsert\") (args (args (compound (functor \"b\") (args (args (args variable)))) (args (compound (functor \"b\") (args (args (args variable))))))))))", + "(clause (head (compound (functor \"moveUp\") (args (compound (functor \"b\") (args (args (args variable))))))) (compound (functor \"moveUp\") (args (args variable))))", + "(clause (head (compound (functor \"moveUp\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"moveUp\") (args (args variable))))", + "(clause (compound (functor \"insertTOP\") (args (args (args variable)))) (binop \"=\" (compound (functor \"b\") (args variable))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args (compound (functor \"b\") (args (args (args variable))))))))) (compound (functor \"imInsert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"imInsert\") (args (args variable))))", + "(clause (head (compound (functor \"moveUp\") (args (compound (functor \"b\") (args (args variable)))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args variable (args (args variable))))))", + "(clause (compound (functor \"insertTOP\") (args variable)))", + "(clause (head (compound (functor \"imInsert\") (args (args (args (compound (functor \"b\") (args variable))))))) (compound (functor \"imInsert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args variable)))))) (compound (functor \"moveUp\") (args variable)))", + "(clause (head (compound (functor \"imInsert\") (args (args (compound (functor \"b\") (args (args (args variable)))))))) (compound (functor \"imInsert\") (args (args variable))))", + "(clause (head (compound (functor \"moveUp\") (args (args (compound (functor \"b\") (args (args variable))))))) (binop \"=\" (compound (functor \"b\") (args (args variable)))))", + "(clause (binop \"=\" (compound (functor \"b\") (args (args (args variable))))) (compound (functor \"moveUp\") (args (args (args variable)))))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (compound (functor \"deleteBT\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))) (compound (functor \"deleteBT\") (args (args variable))))" + ], + "distribution": [ + 1, + 91 + ], + "quality": 0.9693250605733864 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))) (binop variable \"=\"))" + ], + "distribution": [ + 41, + 1 + ], + "quality": 0.9303792838699102 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args variable))) (compound (functor \"deleteBT\") (args variable)))" + ], + "distribution": [ + 7, + 92 + ], + "quality": 0.9121720515644586 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args variable))) (compound (functor \"insertBT\") (args variable)))" + ], + "distribution": [ + 58, + 4 + ], + "quality": 0.9029378963165624 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args variable))))))) (compound (functor \"insertBT\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8855548062796669 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args (compound (functor \"b\") (args (args (args variable)))))))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.817072229454041 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7970543398892662 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args (args variable))))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7731634335948153 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args variable)))) (compound (functor \"deleteBT\") (args (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7731634335948153 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args variable)))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7420575550991563 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args (args variable (args (compound (functor \"b\") (args variable))))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7420575550991563 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insertBT\") (args variable (args (args (compound (functor \"b\") (args (compound (functor \"b\") (args (args variable)))))))))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.7028226698532295 + } + ] +} \ No newline at end of file -- cgit v1.2.1