diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:35:01 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2017-02-27 18:35:01 +0100 |
| commit | 92c49ac708e04e545da6e7aafe91cac8f223f475 (patch) | |
| tree | fe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/family_relations/mother_2 | |
| parent | 320f6db34b5da13e259c3a55db9996a456bf8839 (diff) | |
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/family_relations/mother_2')
| -rw-r--r-- | prolog/problems/family_relations/mother_2/bugs.json | 84 |
1 files changed, 84 insertions, 0 deletions
diff --git a/prolog/problems/family_relations/mother_2/bugs.json b/prolog/problems/family_relations/mother_2/bugs.json new file mode 100644 index 0000000..a65eb29 --- /dev/null +++ b/prolog/problems/family_relations/mother_2/bugs.json @@ -0,0 +1,84 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"mother\") (args variable))) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"mother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (head (compound (functor \"mother\") (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"female\") (args variable)))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args variable)))", + "(clause (head (compound (functor \"mother\") (args (args variable)))))", + "(clause (head (compound (functor \"mother\") (args variable))))", + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"female\") (args variable)))", + "(clause (head (compound (functor \"mother\") (args (args variable)))) (compound (functor \"female\") (args variable)))", + "(clause (head (binop variable \"=\")))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"mother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 1, + 178 + ], + "quality": 0.987052705253526 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"mother\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))", + "(clause (compound (functor \"female\") (args variable)) (compound (functor \"parent\") (args variable)))" + ], + "distribution": [ + 0, + 79 + ], + "quality": 0.9826262170902895 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mother\") (args (args variable)))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.890899775723019 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"mother\") (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7987809210948922 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"female\") (args variable)))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.720112523275646 + }, + { + "class": false, + "condition": [ + "(clause (head (binop variable \"=\")))" + ], + "distribution": [ + 4, + 0 + ], + "quality": 0.6198615754492156 + } + ] +}
\ No newline at end of file |