diff options
Diffstat (limited to 'prolog/problems/family_relations/grandparent_2/bugs.json')
| -rw-r--r-- | prolog/problems/family_relations/grandparent_2/bugs.json | 134 |
1 files changed, 134 insertions, 0 deletions
diff --git a/prolog/problems/family_relations/grandparent_2/bugs.json b/prolog/problems/family_relations/grandparent_2/bugs.json new file mode 100644 index 0000000..03ebb02 --- /dev/null +++ b/prolog/problems/family_relations/grandparent_2/bugs.json @@ -0,0 +1,134 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"grandparent\") (args (args variable))))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"grandparent\") (args variable)))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"grandparent\") (args (args variable)))))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"parent\") (args (compound (functor \"parent\") (args variable)))))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"grandparent\") (args variable)))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 0, + 39 + ], + "quality": 0.9610730922668185 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 8, + 198 + ], + "quality": 0.9536702271177137 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8356509258426985 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.8071381578664112 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7681743107725475 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args (args variable)))) (compound (functor \"grandparent\") (args (args variable))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.741594251804507 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.741594251804507 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.741594251804507 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args (args variable)))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.741594251804507 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"grandparent\") (args variable))) (compound (functor \"parent\") (args (compound (functor \"parent\") (args variable)))))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6643380722879881 + } + ] +}
\ No newline at end of file |