Prolog: add bugs files for the first six groups

1 files changed, 251 insertions, 0 deletions

diff --git a/prolog/problems/family_relations/descendant_2/bugs.json b/prolog/problems/family_relations/descendant_2/bugs.json
new file mode 100644
index 0000000..0eeaccc
--- /dev/null
+++ b/prolog/problems/family_relations/descendant_2/bugs.json
@@ -0,0 +1,251 @@
+{
+  "patterns": [
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"parent\") (args variable)))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"ancestor\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"descendant\") (args variable)))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"ancestor\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"descendant\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"descendant\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"descendant\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"descendant\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"descendant\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"descendant\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"descendant\") (args variable)))",
+    "(clause (binop variable \"==\"))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"parent\") (args variable)))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"ancestor\") (args variable)))",
+    "(clause (binop \"==\" variable))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"child\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (binop \"\\==\" variable))",
+    "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"ancestor\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"child\") (args variable)))",
+    "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"ancestor\") (args (args variable))))",
+    "(clause (head (compound (functor \"descdendant\") (args (args variable)))) (compound (functor \"parent\") (args variable)))",
+    "(clause (head (compound (functor \"descdendant\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+    "(clause (head (compound (functor \"descendant\") (args variable))) (binop variable \"\\==\"))",
+    "(clause (head (compound (functor \"descandant\") (args (args variable)))) (compound (functor \"parent\") (args variable)))",
+    "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"descandant\") (args variable)))"
+  ],
+  "rules": [
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"ancestor\") (args variable)))"
+      ],
+      "distribution": [
+        1,
+        105
+      ],
+      "quality": 0.973626841987995
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"descendant\") (args variable)))"
+      ],
+      "distribution": [
+        64,
+        0
+      ],
+      "quality": 0.9705736245082147
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"descendant\") (args (args variable))))"
+      ],
+      "distribution": [
+        63,
+        0
+      ],
+      "quality": 0.9700883375409743
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"ancestor\") (args (args variable))))"
+      ],
+      "distribution": [
+        2,
+        110
+      ],
+      "quality": 0.9654522191878034
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"descendant\") (args (args variable))))"
+      ],
+      "distribution": [
+        32,
+        0
+      ],
+      "quality": 0.9401859078473961
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args variable))))"
+      ],
+      "distribution": [
+        29,
+        0
+      ],
+      "quality": 0.933957780902709
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"descendant\") (args variable)))"
+      ],
+      "distribution": [
+        28,
+        0
+      ],
+      "quality": 0.9315914615339456
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"parent\") (args (args variable))))"
+      ],
+      "distribution": [
+        28,
+        0
+      ],
+      "quality": 0.9315914615339456
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"descendant\") (args (args variable))))",
+        "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"parent\") (args (args variable))))",
+        "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"descendant\") (args variable)))"
+      ],
+      "distribution": [
+        3,
+        71
+      ],
+      "quality": 0.924459733681661
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        20,
+        0
+      ],
+      "quality": 0.9044160072989779
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))))"
+      ],
+      "distribution": [
+        16,
+        0
+      ],
+      "quality": 0.8838503753702701
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"descendant\") (args variable)))",
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"descendant\") (args (args variable))))",
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        6,
+        64
+      ],
+      "quality": 0.8711158595238758
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args variable)) (compound (functor \"descendant\") (args variable)))",
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"descendant\") (args (args variable))))"
+      ],
+      "distribution": [
+        8,
+        65
+      ],
+      "quality": 0.849709057252787
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descdendant\") (args (args variable)))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        6,
+        0
+      ],
+      "quality": 0.7136115876115294
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args (args variable)))) (compound (functor \"ancestor\") (args (args variable))))"
+      ],
+      "distribution": [
+        6,
+        0
+      ],
+      "quality": 0.7136115876115294
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (head (compound (functor \"descandant\") (args (args variable)))) (compound (functor \"parent\") (args variable)))"
+      ],
+      "distribution": [
+        6,
+        0
+      ],
+      "quality": 0.7136115876115294
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (compound (functor \"parent\") (args (args variable))) (compound (functor \"descandant\") (args variable)))"
+      ],
+      "distribution": [
+        5,
+        0
+      ],
+      "quality": 0.6665876404448069
+    },
+    {
+      "class": true,
+      "condition": [
+        "(clause (head (compound (functor \"descendant\") (args variable))) (compound (functor \"descendant\") (args variable)))"
+      ],
+      "distribution": [
+        34,
+        72
+      ],
+      "quality": 0.627337822618307
+    },
+    {
+      "class": false,
+      "condition": [
+        "(clause (binop variable \"==\"))"
+      ],
+      "distribution": [
+        4,
+        0
+      ],
+      "quality": 0.6108003755618978
+    }
+  ]
+}
\ No newline at end of file