Prolog: add bugs files for the first six groups

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