diff options
Diffstat (limited to 'prolog/problems/family_relations/sister_2')
| -rw-r--r-- | prolog/problems/family_relations/sister_2/bugs.json | 340 |
1 files changed, 340 insertions, 0 deletions
diff --git a/prolog/problems/family_relations/sister_2/bugs.json b/prolog/problems/family_relations/sister_2/bugs.json new file mode 100644 index 0000000..2fa8351 --- /dev/null +++ b/prolog/problems/family_relations/sister_2/bugs.json @@ -0,0 +1,340 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"female\") (args variable)) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop variable \"\\=\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\=\"))", + "(clause (compound (functor \"female\") (args variable)) (binop variable \"\\=\"))", + "(clause (binop \"\\==\" variable) (compound (functor \"parent\") (args (args variable))))", + "(clause (binop variable \"\\==\") (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (binop variable \"\\==\") (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"female\") (args variable)) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (binop variable \"\\=\") (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"parent\") (args variable)))", + "(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"female\") (args variable)))", + "(clause (binop variable \"\\=\") (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"not\") (args (binop \"=\" variable))))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"not\") (args (binop variable \"=\"))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"female\") (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (binop variable \"==\"))", + "(clause (compound (functor \"female\") (args variable)) (binop \"\\=\" variable))", + "(clause (binop (compound (functor \"parent\") (args variable)) \"==\" (compound (functor \"parent\") (args variable))))", + "(clause (binop \"\\==\" variable) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"not\") (args (binop variable \"=\"))))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"not\") (args (binop \"=\" variable))))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"mother\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (binop \"==\" variable))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"==\" (compound (functor \"parent\") (args (args variable)))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop (compound (functor \"parent\") (args (args variable))) \"==\"))", + "(clause (compound (functor \"parent\") (args variable)) (binop variable \"=\\=\"))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"=\\=\" variable))", + "(clause (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"mother\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"sibling\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"not\") (args (binop variable \"=\"))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"sibling\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"=\\=\" variable))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"=\" (compound (functor \"parent\") (args (args variable)))))", + "(clause (compound (functor \"female\") (args variable)) (binop variable \"=\\=\"))", + "(clause (head (compound (functor \"sibling\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"mother\") (args (args variable))))", + "(clause (head (compound (functor \"sibling\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"mother\") (args variable)) (compound (functor \"mother\") (args variable)))", + "(clause (compound (functor \"sibling\") (args variable)) (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"feamle\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (binop (compound (functor \"parent\") (args (args variable))) \"==\"))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop (compound (functor \"parent\") (args (args variable))) \"=\"))", + "(clause (head (compound (functor \"sister\") (args variable))) (binop variable \"=\\=\"))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"feamle\") (args variable)))", + "(clause (binop (compound (functor \"parent\") (args variable)) \"=\" (compound (functor \"parent\") (args variable))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 131, + 0 + ], + "quality": 0.98752268394827 + }, + { + "class": false, + "condition": [ + "(clause (binop \"\\==\" variable) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 45, + 0 + ], + "quality": 0.960805156909999 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"\\==\") (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 37, + 0 + ], + "quality": 0.9514793639924134 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"sister\") (args (args variable)))) (binop \"\\=\" variable))" + ], + "distribution": [ + 1, + 72 + ], + "quality": 0.9491654216200829 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\=\"))" + ], + "distribution": [ + 3, + 81 + ], + "quality": 0.9323996349698898 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 4, + 95 + ], + "quality": 0.9294071429039249 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"female\") (args variable)) (binop variable \"\\==\"))" + ], + "distribution": [ + 4, + 89 + ], + "quality": 0.9257398293889815 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 25, + 0 + ], + "quality": 0.9244949834569286 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop variable \"\\==\"))" + ], + "distribution": [ + 17, + 184 + ], + "quality": 0.9097159118083122 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sister\") (args (args variable)))) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 21, + 0 + ], + "quality": 0.9090981834363482 + }, + { + "class": false, + "condition": [ + "(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.899813945496532 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"\\=\") (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8864346621831894 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8577342713242664 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"female\") (args variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8143191401362178 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8143191401362178 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7963231180678917 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7963231180678917 + }, + { + "class": false, + "condition": [ + "(clause (binop \"\\==\" variable) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7745383217844619 + }, + { + "class": false, + "condition": [ + "(clause (binop (compound (functor \"parent\") (args variable)) \"==\" (compound (functor \"parent\") (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7745383217844619 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"mother\") (args (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7500360114235385 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"sister\") (args (args variable)))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7500360114235385 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"not\") (args (binop variable \"=\"))))" + ], + "distribution": [ + 0, + 6 + ], + "quality": 0.6828971360185574 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"sister\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"not\") (args (binop variable \"=\"))))" + ], + "distribution": [ + 0, + 7 + ], + "quality": 0.6384215810360028 + } + ] +}
\ No newline at end of file |