summaryrefslogtreecommitdiff
path: root/prolog/problems/family_relations/grandparent_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
commit92c49ac708e04e545da6e7aafe91cac8f223f475 (patch)
treefe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/family_relations/grandparent_2
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/family_relations/grandparent_2')
-rw-r--r--prolog/problems/family_relations/grandparent_2/bugs.json134
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