From 92c49ac708e04e545da6e7aafe91cac8f223f475 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 18:35:01 +0100 Subject: Prolog: add bugs files for the first six groups --- .../family_relations/descendant_2/bugs.json | 251 +++++++++++++++++++++ 1 file changed, 251 insertions(+) create mode 100644 prolog/problems/family_relations/descendant_2/bugs.json (limited to 'prolog/problems/family_relations/descendant_2') 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 -- cgit v1.2.1