From 92c49ac708e04e545da6e7aafe91cac8f223f475 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 18:35:01 +0100 Subject: Prolog: add bugs files for the first six groups --- prolog/problems/family_relations/aunt_2/bugs.json | 252 ++++++++++++++++++++++ 1 file changed, 252 insertions(+) create mode 100644 prolog/problems/family_relations/aunt_2/bugs.json (limited to 'prolog/problems/family_relations/aunt_2') diff --git a/prolog/problems/family_relations/aunt_2/bugs.json b/prolog/problems/family_relations/aunt_2/bugs.json new file mode 100644 index 0000000..3dfc1db --- /dev/null +++ b/prolog/problems/family_relations/aunt_2/bugs.json @@ -0,0 +1,252 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"sister\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"sister\") (args (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"sister\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (binop variable \"\\==\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"mother\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))))", + "(clause (compound (functor \"brother\") (args (args variable))))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))", + "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\==\"))", + "(clause (compound (functor \"sister\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"brother\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"aunt\") (args variable))))", + "(clause (compound (functor \"mother\") (args variable)) (compound (functor \"sister\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"brother\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"sister\") (args variable)))", + "(clause (compound (functor \"sister\") (args (args variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\=\"))", + "(clause (compound (functor \"female\") (args variable)) (binop \"\\==\" variable))", + "(clause (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"sister\") (args variable)) (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"sister\") (args variable)))", + "(clause (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args variable)))", + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (binop \"\\=\" variable))", + "(clause (compound (functor \"sister\") (args variable)) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"brother\") (args variable)))", + "(clause (compound (functor \"sister\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"brother\") (args (args variable))))", + "(clause (binop variable \"\\==\") (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"\\==\" variable))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"sister\") (args variable)) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"aunt\") (args variable))) (binop \"\\=\" variable))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"brother\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\=\"))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"sister\") (args (args variable))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 1, + 65 + ], + "quality": 0.947889568617913 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"sister\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"sister\") (args (args variable))))" + ], + "distribution": [ + 7, + 151 + ], + "quality": 0.9379739504789125 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.914813761663181 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8970351219221164 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"sister\") (args (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8783140596236834 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args variable))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8622447942091449 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"mother\") (args variable)) (compound (functor \"sister\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8526064437591069 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8415381256574634 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8415381256574634 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"sister\") (args variable)))" + ], + "distribution": [ + 48, + 217 + ], + "quality": 0.8109202887628649 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"sister\") (args (args variable))) (binop variable \"\\==\"))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8101710193035057 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args (args variable)))) (compound (functor \"sister\") (args variable)))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.792429870081551 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"aunt\") (args variable))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7676282421060165 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7381905943393422 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7045898992557954 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6624455004031453 + } + ] +} \ No newline at end of file -- cgit v1.2.1