diff options
Diffstat (limited to 'prolog/problems/family_relations/brother_2/bugs.json')
| -rw-r--r-- | prolog/problems/family_relations/brother_2/bugs.json | 115 |
1 files changed, 115 insertions, 0 deletions
diff --git a/prolog/problems/family_relations/brother_2/bugs.json b/prolog/problems/family_relations/brother_2/bugs.json new file mode 100644 index 0000000..252bcdf --- /dev/null +++ b/prolog/problems/family_relations/brother_2/bugs.json @@ -0,0 +1,115 @@ +{ + "patterns": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"brother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (head (compound (functor \"brother\") (args variable))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"brother\") (args (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 \"parent\") (args (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (compound (functor \"male\") (args variable)) (binop variable \"\\==\"))", + "(clause (compound (functor \"male\") (args variable)) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"brother\") (args (args variable)))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"brother\") (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 \"male\") (args variable)) (binop variable \"\\=\"))", + "(clause (binop variable \"\\==\") (compound (functor \"male\") (args variable)))", + "(clause (binop variable \"\\=\") (compound (functor \"male\") (args variable)))", + "(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))", + "(clause (binop variable \"\\=\") (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"brother\") (args (args variable)))) (compound (functor \"not\") (args (binop \"=\" variable))))", + "(clause (head (compound (functor \"brother\") (args variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"brother\") (args (args variable)))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"not\") (args (binop variable \"=\"))))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))" + ], + "distribution": [ + 0, + 102 + ], + "quality": 0.9873786600439431 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"brother\") (args (args variable)))) (binop \"\\=\" variable))" + ], + "distribution": [ + 0, + 39 + ], + "quality": 0.9574307072764063 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))", + "(clause (compound (functor \"male\") (args variable)) (binop variable \"\\=\"))" + ], + "distribution": [ + 0, + 34 + ], + "quality": 0.9526649947812729 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"brother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\==\" variable))" + ], + "distribution": [ + 4, + 102 + ], + "quality": 0.9462163947101927 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (binop \"\\=\" variable))" + ], + "distribution": [ + 1, + 43 + ], + "quality": 0.9357128569764824 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"brother\") (args variable))) (compound (functor \"male\") (args variable)))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"male\") (args variable)))" + ], + "distribution": [ + 9, + 80 + ], + "quality": 0.8661764695637234 + }, + { + "class": false, + "condition": [ + "(clause (binop \"\\=\" variable) (compound (functor \"parent\") (args (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7899147086754702 + } + ] +}
\ No newline at end of file |