diff options
Diffstat (limited to 'prolog/problems/family_relations/ancestor_2/bugs.json')
| -rw-r--r-- | prolog/problems/family_relations/ancestor_2/bugs.json | 260 |
1 files changed, 260 insertions, 0 deletions
diff --git a/prolog/problems/family_relations/ancestor_2/bugs.json b/prolog/problems/family_relations/ancestor_2/bugs.json new file mode 100644 index 0000000..f56f5c7 --- /dev/null +++ b/prolog/problems/family_relations/ancestor_2/bugs.json @@ -0,0 +1,260 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"ancestor\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"ancestor\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"ancestor\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"ancestor\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"ancestor\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"ancestor\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))))", + "(clause (head (compound (functor \"ancestor\") (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"ancestor\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"ancestor\") (args variable)))", + "(clause (compound (functor \"ancestor\") (args (args variable))))", + "(clause (binop variable \"==\"))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"ancestor\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"grandparent\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"grandparent\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (binop \"==\" variable))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (binop \"\\=\" variable))", + "(clause (compound (functor \"parent\") (args variable)) (binop variable \"==\"))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (binop variable \"\\=\"))", + "(clause (compound (functor \"ancestor\") (args (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (binop \"==\" variable))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (binop \"==\" variable))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (binop variable \"is\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"ancestor\") (args (args variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"sister\") (args variable)))", + "(clause (compound (functor \"ancestor\") (args variable)) (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"ancestor\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"is\"))", + "(clause (compound (functor \"sister\") (args variable)))", + "(clause (compound (functor \"sister\") (args (args variable))))", + "(clause (compound (functor \"ancestor\") (args variable)) (compound (functor \"brother\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"brother\") (args variable)))", + "(clause (compound (functor \"ancestor\") (args (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))", + "(clause (binop \"\\==\" variable) (compound (functor \"parent\") (args (args variable))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"ancestor\") (args variable)))" + ], + "distribution": [ + 49, + 0 + ], + "quality": 0.9629885382291584 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"ancestor\") (args (args variable))))" + ], + "distribution": [ + 39, + 0 + ], + "quality": 0.9541530529030873 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"ancestor\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"ancestor\") (args variable)))" + ], + "distribution": [ + 6, + 170 + ], + "quality": 0.9514788098199769 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args (args variable)))))" + ], + "distribution": [ + 34, + 0 + ], + "quality": 0.9470223522722367 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9453306576768873 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"ancestor\") (args variable)))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9453306576768873 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))))" + ], + "distribution": [ + 32, + 0 + ], + "quality": 0.9435307541149079 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9416119920933244 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"ancestor\") (args (args variable))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.9157923393616936 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.884763343524827 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8655912886026441 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"ancestor\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"ancestor\") (args (args variable))))" + ], + "distribution": [ + 10, + 79 + ], + "quality": 0.8502921553589384 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"ancestor\") (args (args variable))))" + ], + "distribution": [ + 52, + 172 + ], + "quality": 0.7525612821040794 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7358835810639816 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"sister\") (args variable)))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.7012043532450386 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.7012043532450386 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"ancestor\") (args (args variable))) (binop \"\\==\" variable))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6649699835988584 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"ancestor\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"ancestor\") (args variable))) (compound (functor \"ancestor\") (args variable)))" + ], + "distribution": [ + 43, + 84 + ], + "quality": 0.6159501919553191 + } + ] +}
\ No newline at end of file |