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 --- prolog/problems/sets/count_3/bugs.json | 509 +++++++++++++++++++ prolog/problems/sets/diff_3/bugs.json | 320 ++++++++++++ prolog/problems/sets/intersect_3/bugs.json | 496 +++++++++++++++++++ prolog/problems/sets/is_superset_2/bugs.json | 311 ++++++++++++ prolog/problems/sets/powerset_2/bugs.json | 219 ++++++++ prolog/problems/sets/subset_2/bugs.json | 235 +++++++++ prolog/problems/sets/union_3/bugs.json | 715 +++++++++++++++++++++++++++ 7 files changed, 2805 insertions(+) create mode 100644 prolog/problems/sets/count_3/bugs.json create mode 100644 prolog/problems/sets/diff_3/bugs.json create mode 100644 prolog/problems/sets/intersect_3/bugs.json create mode 100644 prolog/problems/sets/is_superset_2/bugs.json create mode 100644 prolog/problems/sets/powerset_2/bugs.json create mode 100644 prolog/problems/sets/subset_2/bugs.json create mode 100644 prolog/problems/sets/union_3/bugs.json (limited to 'prolog/problems/sets') diff --git a/prolog/problems/sets/count_3/bugs.json b/prolog/problems/sets/count_3/bugs.json new file mode 100644 index 0000000..7078972 --- /dev/null +++ b/prolog/problems/sets/count_3/bugs.json @@ -0,0 +1,509 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"count\") (args variable))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (t variable)))))) (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop variable \"is\"))", + "(clause (head (compound (functor \"count\") (args variable))))", + "(clause (head (compound (functor \"count\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"count\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"count\") (args (args (args \"0\"))))))", + "(clause (head (compound (functor \"count\") (args (args \"[]\" (args \"0\"))))))", + "(clause (binop variable \"is\" (binop \"+\" \"1\")))", + "(clause (binop \"is\" (binop \"+\" \"1\")))", + "(clause (binop \"is\" (binop variable \"+\" \"1\")))", + "(clause (head (compound (functor \"count\") (args variable (args (args \"0\"))))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"count\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (compound (functor \"count\") (args (args (args variable)))))", + "(clause (binop variable \"is\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (compound (functor \"count\") (args variable)))", + "(clause (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" variable))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"=\" variable))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"=\"))", + "(clause (compound (functor \"count\") (args (args (args variable)))))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"==\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"==\" variable))", + "(clause (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"\\=\" variable))", + "(clause (binop variable \"=\"))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"==\"))", + "(clause (binop \"=\" variable))", + "(clause (binop variable \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"count\") (args (args (list (t variable)))))) (compound (functor \"count\") (args variable)))", + "(clause (binop variable \"==\"))", + "(clause (compound (functor \"count\") (args variable)) (binop \"=\" variable))", + "(clause (head (compound (functor \"count\") (args (args (args \"1\"))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=:=\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"=:=\" variable))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)) (args \"1\"))))))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"count\") (args variable (args (args \"1\"))))))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"count\") (args (args \"[]\" (args variable))))))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"=:=\"))", + "(clause (binop \"==\" variable))", + "(clause (binop variable \"=\") (compound (functor \"count\") (args variable)))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"\\=\"))", + "(clause (binop variable \"\\=\") (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop variable \"==\"))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"==\" variable))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" (binop \"+\" variable)))", + "(clause (binop variable \"\\==\") (compound (functor \"count\") (args variable)))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \"is\"))", + "(clause (binop variable \"is\" (binop \"1\" \"+\")))", + "(clause (binop \"is\" (binop \"1\" \"+\")))", + "(clause (binop \"is\" (binop \"1\" \"+\" variable)))", + "(clause (binop variable \"==\") (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=\\=\"))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"=\\=\" variable))", + "(clause (compound (functor \"count\") (args variable)) (binop \"\\==\" variable))", + "(clause (binop \"=:=\" variable))", + "(clause (compound (functor \"count\") (args (args variable))) (binop \"is\" (binop variable \"+\")))", + "(clause (compound (functor \"count\") (args variable)) (binop \"==\" variable))", + "(clause (head (compound (functor \"count\") (args \"[]\"))))", + "(clause (binop variable \"=\" \"0\"))", + "(clause (binop \"=\" \"0\"))", + "(clause (binop variable \"is\" (binop \"+\" \"0\")))", + "(clause (binop \"is\" (binop \"+\" \"0\")))", + "(clause (binop \"is\" (binop variable \"+\" \"0\")))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"=\\=\"))", + "(clause (binop \"=\" variable) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args \"[]\" (args (args \"0\"))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (compound (functor \"count\") (args (args variable))))", + "(clause (binop variable \"=:=\"))", + "(clause (binop \"=\" (binop \"+\" \"1\")))", + "(clause (binop \"=\" (binop variable \"+\" \"1\")))", + "(clause (binop variable \"=\" (binop \"+\" \"1\")))", + "(clause (binop \"is\" (binop \"+\" variable)))", + "(clause (head (compound (functor \"count\") (args (args variable)))))", + "(clause (head (compound (functor \"count\") (args variable))) (unop \\+ (binop variable \"=\")))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"=:=\" variable))", + "(clause (head (compound (functor \"count\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"is\" \"0\"))", + "(clause (head (compound (functor \"count\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"count\") (args (args (list (t (list (h variable)))))))) (compound (functor \"count\") (args (args variable))))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"\\==\"))", + "(clause (binop \"\\==\" variable))", + "(clause (binop \"is\" (binop variable \"+\")) (compound (functor \"count\") (args (args (args variable)))))", + "(clause (binop variable \"is\" \"0\"))", + "(clause (head (compound (functor \"count\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (unop \\+ (binop \"=\" variable)))", + "(clause (binop variable \"is\") (compound (functor \"count\") (args (args (args variable)))))", + "(clause (unop \\+ (binop variable \"=\")) (compound (functor \"count\") (args variable)))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"=\" (binop variable \"+\")))", + "(clause (head (compound (functor \"count\") (args (args variable)))) (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop variable \"=:=\"))", + "(clause (head (compound (functor \"count\") (args (list (t variable))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"count\") (args variable (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable) (t \"[]\")))))))", + "(clause (binop \"is\" variable))", + "(clause (head (compound (functor \"count\") (args \"[]\" (args variable)))))", + "(clause (binop \"\\=\" variable) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (compound (functor \"\\+\") (args (binop \"=\" variable))))", + "(clause (head (compound (functor \"count\") (args (args variable (args \"0\"))))))", + "(clause (head (compound (functor \"count\") (args (args (list (t \"[]\")) (args \"1\"))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop variable \"=\\=\"))", + "(clause (head (compound (functor \"count\") (args variable))) (compound (functor \"\\+\") (args (binop variable \"=\"))))", + "(clause (head (compound (functor \"count\") (args (args (args (binop \"+\" \"1\")))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)) (args (binop \"+\" \"1\")))))))", + "(clause (binop \"=\" (binop variable \"+\")))", + "(clause (head (compound (functor \"count\") (args (args (args (binop variable \"+\" \"1\")))))))", + "(clause (head (compound (functor \"count\") (args variable (args (args (binop \"+\" \"1\")))))))", + "(clause (head (compound (functor \"count\") (args variable (args (args variable))))))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"=\\=\" variable))", + "(clause (head (compound (functor \"count\") (args (args (list (t variable)) (args (binop \"+\" \"1\")))))))", + "(clause (binop \"\\==\" variable) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop \"is\" variable))", + "(clause (binop variable \"\\==\"))", + "(clause (binop variable \"is\" variable))", + "(clause (binop variable \"=\\=\"))", + "(clause (head (compound (functor \"count\") (args (args (args (binop variable \"+\")))))) (compound (functor \"count\") (args (args (args variable)))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)) (args variable))))))", + "(clause (head (binop variable \"is\")))", + "(clause (compound (functor \"count\") (args variable)) (binop \"\\=\" variable))", + "(clause (head (binop \"is\" (binop variable \"+\"))))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop \"=\" variable))", + "(clause (binop variable \"is\") (binop \"=\" variable))", + "(clause (binop \"=\\=\" variable))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"is\"))", + "(clause (head (compound (functor \"count\") (args variable))) (compound (functor \"isEqual\") (args (args variable))))", + "(clause (head (compound (functor \"count\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"\\+\") (args (binop variable \"=\"))) (compound (functor \"count\") (args variable)))", + "(clause (compound (functor \"count\") (args variable)) (binop variable \"is\"))", + "(clause (binop variable \"=\" variable))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (compound (functor \"isEqual\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)) (args \"0\"))))))", + "(clause (binop \"=:=\" variable) (compound (functor \"count\") (args variable)))", + "(clause (binop variable \"=\\=\") (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"is\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"count\") (args (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (compound (functor \"count\") (args (args (list (h variable))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 69, + 0 + ], + "quality": 0.9728352042140178 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"is\" (binop variable \"+\")))" + ], + "distribution": [ + 56, + 0 + ], + "quality": 0.96538520453629 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=:=\"))" + ], + "distribution": [ + 43, + 0 + ], + "quality": 0.9522326624826108 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (args variable))))))" + ], + "distribution": [ + 40, + 0 + ], + "quality": 0.948123462766655 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (list (t variable)))))) (compound (functor \"count\") (args variable)))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9190687991731815 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=\\=\"))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.9127090987711932 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9015964075625628 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=:=\" variable))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.8979447555412412 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args \"[]\"))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.8979447555412412 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (binop \"+\" \"1\")))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8368123456364159 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable))) (binop \"=:=\" variable))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.820135337297635 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args variable)))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.820135337297635 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"count\") (args (args (args \"0\"))))))" + ], + "distribution": [ + 0, + 18 + ], + "quality": 0.8161615821890182 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (list (t (list (h variable)))))))) (compound (functor \"count\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.801882381889035 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.801882381889035 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args \"[]\")))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (compound (functor \"count\") (args (args (args variable)))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"\\=\" variable))" + ], + "distribution": [ + 0, + 17 + ], + "quality": 0.7802239031619637 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args \"[]\")))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop variable \"\\=\") (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"\\=\" variable))" + ], + "distribution": [ + 1, + 21 + ], + "quality": 0.7737068914461994 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"count\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop variable \"is\"))" + ], + "distribution": [ + 1, + 19 + ], + "quality": 0.7694989834231951 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (binop variable \"is\"))", + "(clause (head (compound (functor \"count\") (args variable (args \"[]\")))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (head (compound (functor \"count\") (args (args (args variable))))) (compound (functor \"count\") (args (args (args variable)))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"\\==\" variable))" + ], + "distribution": [ + 1, + 20 + ], + "quality": 0.7464303340007633 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" variable))", + "(clause (binop variable \"==\"))" + ], + "distribution": [ + 1, + 14 + ], + "quality": 0.7197344632270223 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"count\") (args variable))))" + ], + "distribution": [ + 1, + 14 + ], + "quality": 0.6820439276723868 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (unop \\+ (binop \"=\" variable)))" + ], + "distribution": [ + 0, + 9 + ], + "quality": 0.6699209545124805 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args \"[]\")))))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"=\" variable))" + ], + "distribution": [ + 1, + 11 + ], + "quality": 0.5876909575878514 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable (args \"[]\")))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" variable))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (binop \"=\" variable))" + ], + "distribution": [ + 1, + 12 + ], + "quality": 0.578881574974713 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"\\+\") (args (binop variable \"=\"))) (compound (functor \"count\") (args variable)))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.5748167731513768 + }, + { + "class": true, + "condition": [ + "(clause (binop \"\\==\" variable) (compound (functor \"count\") (args variable)))" + ], + "distribution": [ + 1, + 7 + ], + "quality": 0.5727130861637655 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args (args (list (h variable)))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"count\") (args variable))) (binop \"\\==\" variable))" + ], + "distribution": [ + 0, + 7 + ], + "quality": 0.5690003226281385 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"count\") (args variable (args (args \"0\"))))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" (binop variable \"+\")))", + "(clause (binop \"==\" variable))", + "(clause (binop variable \"is\"))" + ], + "distribution": [ + 5, + 18 + ], + "quality": 0.5503110535995617 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop \"is\" variable))", + "(clause (binop variable \"=\") (compound (functor \"count\") (args variable)))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.38635980460492575 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/sets/diff_3/bugs.json b/prolog/problems/sets/diff_3/bugs.json new file mode 100644 index 0000000..af1c5fd --- /dev/null +++ b/prolog/problems/sets/diff_3/bugs.json @@ -0,0 +1,320 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args \"[]\"))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args variable (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (t variable))))))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args \"[]\")))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"diff\") (args (args \"[]\" (args variable))))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"diff\") (args variable (args (args variable))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args (args variable))))))", + "(clause (compound (functor \"diff\") (args variable)))", + "(clause (binop \"=\" variable))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable (args variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (t variable)))))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"diff\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"diff\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"diff\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"member\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"intersect\") (args (list (h variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"intersect\") (args (list (t variable)))))", + "(clause (head (compound (functor \"diff\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"intersect\") (args variable)))", + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (list (h variable)))))))", + "(clause (compound (functor \"union\") (args variable)) (compound (functor \"intersect\") (args variable)))", + "(clause (compound (functor \"deff\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"diff\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"member\") (args variable)) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (compound (functor \"intersect\") (args (list (t variable)))) (compound (functor \"diff\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"del\") (args (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"diff\") (args variable)) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"diff\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"member\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"recdel\") (args (list (t variable))))) (compound (functor \"recdel\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (list (h variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"recdel\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"recdel\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (list (t variable)))))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"delete\") (args (args variable))))", + "(clause (head (compound (functor \"recdel\") (args \"[]\" (args (args variable))))))", + "(clause (compound (functor \"member\") (args variable)) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (compound (functor \"intersect\") (args (list (h variable)))))", + "(clause (head (compound (functor \"recdel\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"recdel\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"recdel\") (args \"[]\"))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"recdel\") (args (args (args variable))))) (compound (functor \"recdel\") (args (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"recdel\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"diff2\") (args (args variable)))) (compound (functor \"diff2\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args variable)) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args variable))))", + "(clause (compound (functor \"intersect\") (args variable)) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"recdel\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"\\+\") (args (compound (functor \"memb\") (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"diff2\") (args (list (t variable))))) (compound (functor \"diff2\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable (args variable))))))" + ], + "distribution": [ + 43, + 0 + ], + "quality": 0.9538283009756654 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args variable))) (compound (functor \"intersect\") (args variable)))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8921605663515302 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 2, + 29 + ], + "quality": 0.8058998834564192 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 0, + 18 + ], + "quality": 0.8026373362364385 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (list (t variable))))) (compound (functor \"diff\") (args (args variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7709101555703018 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args (args variable))))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7709101555703018 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args variable)))))" + ], + "distribution": [ + 5, + 38 + ], + "quality": 0.7687665812906903 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"diff\") (args (args variable (args \"[]\"))))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 3, + 28 + ], + "quality": 0.7436503702080678 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7416353483923056 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" variable))" + ], + "distribution": [ + 4, + 29 + ], + "quality": 0.7367136645174549 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args variable)))))", + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 7, + 38 + ], + "quality": 0.7349915900375226 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (args (args variable))))) (compound (functor \"diff\") (args (args (args (list (t variable)))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6641015019994071 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"diff\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6641015019994071 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"diff\") (args (list (h variable))))) (compound (functor \"count\") (args variable)))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.5616708435793863 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/sets/intersect_3/bugs.json b/prolog/problems/sets/intersect_3/bugs.json new file mode 100644 index 0000000..0ebb830 --- /dev/null +++ b/prolog/problems/sets/intersect_3/bugs.json @@ -0,0 +1,496 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect\") (args \"[]\"))))", + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args variable (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"intersect\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"intersect\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"intersect\") (args variable (args (args \"[]\"))))))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (compound (functor \"member\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args variable (args variable))))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (t variable)))))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args variable))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" variable))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))))", + "(clause (compound (functor \"memb\") (args variable)) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"count\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (binop variable \"is\"))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"memb\") (args variable)))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop \"is\" variable))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"memb\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"notmemb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"intersection\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))) (compound (functor \"intersection\") (args variable)))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"count\") (args (args variable))))", + "(clause (compound (functor \"count\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args variable))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"del\") (args variable)) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (compound (functor \"intersect\") (args variable)) (compound (functor \"memb\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"count\") (args (args variable))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"pobrisi\") (args (list (t variable))))) (compound (functor \"pobrisi\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"notmemb\") (args (args variable))))", + "(clause (compound (functor \"member\") (args variable)) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"pobrisi\") (args (args variable)))) (compound (functor \"pobrisi\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"intersect\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"intersect\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args (list (t variable)))))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"intersection\") (args (args variable (args \"[]\"))))))", + "(clause (head (compound (functor \"intersection\") (args (args variable)))))", + "(clause (head (compound (functor \"intersection\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"build\") (args (args (args (args variable)))))) (compound (functor \"build\") (args (args (args (args variable))))))", + "(clause (head (compound (functor \"build\") (args (args variable)))) (compound (functor \"build\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"member\") (args variable)))))", + "(clause (head (compound (functor \"intersection\") (args \"[]\"))))", + "(clause (binop variable \"=\" \"0\"))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"intersection\") (args (list (t variable))))) (compound (functor \"intersection\") (args variable)))", + "(clause (head (compound (functor \"build\") (args (list (t variable))))) (compound (functor \"build\") (args variable)))", + "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"intersection\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"intersection\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"intersection\") (args (args variable)))) (compound (functor \"intersection\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"member\") (args (args variable))))))", + "(clause (binop (list (h variable)) \"=\") (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" variable) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"del\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))) (compound (functor \"intersection\") (args (args (args variable)))))", + "(clause (binop \"=\" \"0\"))", + "(clause (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (list (h variable)) (args \"[]\"))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"build\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"build\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"build\") (args variable (args (args \"[]\")))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args \"[]\"))))", + "(clause (head (compound (functor \"build\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"build\") (args \"[]\" (args (args (args variable)))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args variable))) (compound (functor \"build\") (args variable)))", + "(clause (compound (functor \"build\") (args (args (args \"[]\" (args variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args (list (t variable))))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \">\"))", + "(clause (head (compound (functor \"pobrisi\") (args (list (t variable))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"intersec\") (args (args variable))))", + "(clause (head (compound (functor \"pobrisi\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"notmemb\") (args (args variable))))", + "(clause (binop variable \">\" \"0\"))", + "(clause (compound (functor \"conc\") (args (args \"[]\" (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"pobrisi\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"build\") (args (args (args (args variable))))))", + "(clause (compound (functor \"build\") (args (args (args \"[]\")))))", + "(clause (binop \">\" \"0\"))", + "(clause (compound (functor \"build\") (args (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"build\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"del\") (args variable)) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"pobrisi\") (args \"[]\"))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"pobrisi\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"build\") (args \"[]\"))))", + "(clause (head (compound (functor \"pobrisi\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"intersection\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"pobrisi\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args variable (args (args variable))))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable)) (args (args \"[]\"))))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"build\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"intersect\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"member\") (args (args variable))))))", + "(clause (head (compound (functor \"intersect1\") (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"build\") (args (args variable)))))", + "(clause (head (compound (functor \"pobrisi\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"build\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"pobrisi\") (args (list (t variable))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"count\") (args (args (args variable)))))", + "(clause (head (compound (functor \"build\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (compound (functor \"memb\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"build\") (args (args (args (list (t variable))))))) (compound (functor \"build\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))) (compound (functor \"intersetct\") (args variable)))", + "(clause (head (compound (functor \"intersect1\") (args (args variable (args \"[]\"))))))", + "(clause (compound (functor \"memb\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"intersect1\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args (list (h variable)))))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"intersect1\") (args \"[]\"))))", + "(clause (head (compound (functor \"build\") (args (args (args (list (h variable))))))) (compound (functor \"memb\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"intersection\") (args (args variable))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect1\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (t variable)))))) (compound (functor \"notmemb\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"intersetct\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (list (h variable)))))) (compound (functor \"notmemb\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"build\") (args (args (args variable (args variable)))))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"intersect1\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"pobrisi\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"intersetct\") (args (args variable))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"intersect\") (args (args variable (args variable))))))" + ], + "distribution": [ + 54, + 0 + ], + "quality": 0.9536493044976051 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args variable (args variable))))))" + ], + "distribution": [ + 56, + 1 + ], + "quality": 0.94502632136353 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args \"[]\" (args (args variable))))))" + ], + "distribution": [ + 64, + 3 + ], + "quality": 0.9188356133165689 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9088628473642169 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (list (t variable))))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8805191235366469 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8721772200374108 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"intersect\") (args (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8519584559528689 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (binop variable \"is\"))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8519584559528689 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8519584559528689 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (compound (functor \"notmemb\") (args variable)))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8519584559528689 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args variable (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))" + ], + "distribution": [ + 0, + 27 + ], + "quality": 0.836481670090156 + }, + { + "class": false, + "condition": [ + "(clause (unop \\+ (compound (functor \"memb\") (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8240032900302532 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\" (list (t variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8240032900302532 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8062486732037915 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8062486732037915 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7630467985553794 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args variable))) (compound (functor \"union\") (args variable)))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7630467985553794 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (compound (functor \"del\") (args variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7324659262473096 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"intersect\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7324659262473096 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args \"[]\"))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (h variable))))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 3, + 27 + ], + "quality": 0.7025571711035932 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"intersect\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"intersect\") (args (args (args variable))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args (args (list (t variable))))))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"intersect\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 5, + 28 + ], + "quality": 0.6709971126729953 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/sets/is_superset_2/bugs.json b/prolog/problems/sets/is_superset_2/bugs.json new file mode 100644 index 0000000..25a6a80 --- /dev/null +++ b/prolog/problems/sets/is_superset_2/bugs.json @@ -0,0 +1,311 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))", + "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"intersect\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"is_subset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))", + "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args variable (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))", + "(clause (compound (functor \"is_superset\") (args variable)))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (unop \\+ (compound (functor \"del\") (args (args (args variable))))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \">\"))", + "(clause (binop variable \">\" \"0\"))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_supetset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (binop \">\" \"0\"))", + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9573148012450367 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args \"[]\" (args variable)))))" + ], + "distribution": [ + 42, + 0 + ], + "quality": 0.9551840608458025 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args \"[]\"))))" + ], + "distribution": [ + 77, + 2 + ], + "quality": 0.9489556270523528 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 5, + 130 + ], + "quality": 0.9441676011815278 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"is_superset\") (args variable)))" + ], + "distribution": [ + 0, + 28 + ], + "quality": 0.920769681601247 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 9, + 132 + ], + "quality": 0.9170297657688938 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 11, + 133 + ], + "quality": 0.9065030379779777 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))" + ], + "distribution": [ + 0, + 18 + ], + "quality": 0.894789570952922 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.894467708395349 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"is_superset\") (args variable))) (compound (functor \"is_superset\") (args variable)))", + "(clause (head (compound (functor \"is_superset\") (args (args (list (t variable)))))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 19, + 165 + ], + "quality": 0.8824079410499159 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"intersect\") (args (args variable (args variable)))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8650267548667329 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"is_superset\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8650267548667329 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7907865618907618 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"intersect\") (args (args variable))))", + "(clause (head (compound (functor \"is_superset\") (args (args \"[]\")))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7789503302060591 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (list (t variable))))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7664689004747853 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))" + ], + "distribution": [ + 8, + 0 + ], + "quality": 0.7664689004747853 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (list (h variable))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.733244004247434 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_superset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6922614505910474 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"is_superset\") (args (args variable))))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.6497211701430571 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"is_superset\") (args variable)) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6482582581497028 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"is_supetset\") (args variable))) (compound (functor \"is_superset\") (args variable)))" + ], + "distribution": [ + 5, + 0 + ], + "quality": 0.6482582581497028 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/sets/powerset_2/bugs.json b/prolog/problems/sets/powerset_2/bugs.json new file mode 100644 index 0000000..3b9a00b --- /dev/null +++ b/prolog/problems/sets/powerset_2/bugs.json @@ -0,0 +1,219 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"findall\") (args (args (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\"))))", + "(clause (head (compound (functor \"powerset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"powerset\") (args (list (t variable))))) (compound (functor \"powerset\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (h \"[]\")))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args (list (h \"[]\")))))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args variable))))))", + "(clause (head (compound (functor \"powerset\") (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (t variable)))))) (compound (functor \"powerset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (compound (functor \"findall\") (args variable)))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"powerset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"subset\") (args (args variable))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"parent\") (args (args variable)))))))", + "(clause (compound (functor \"subset\") (args (args variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"powerset\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args (list (t variable))))) (compound (functor \"findall\") (args (args (compound (functor \"parent\") (args variable))))))", + "(clause (compound (functor \"findall\") (args (args (args variable)))) (compound (functor \"powerset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"powerset\") (args (args (list (h variable)))))) (compound (functor \"subset\") (args (args variable))))", + "(clause (compound (functor \"findall\") (args (args (args variable)))))", + "(clause (compound (functor \"subset\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"powerset\") (args variable)))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"is_subset\") (args variable))))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))) (compound (functor \"poverset\") (args variable)))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable))) (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args (list (t variable))))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"parent\") (args variable))))) (compound (functor \"powerset\") (args variable)))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args (binop \"=\" \"[]\"))))))", + "(clause (head (compound (functor \"powerset\") (args (args (binop variable \"=\" \"[]\"))))))", + "(clause (compound (functor \"powerset\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"powerset\") (args (args (binop \"=\" \"[]\"))))))", + "(clause (compound (functor \"subset\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))", + "(clause (head (compound (functor \"powerset\") (args (args (binop variable \"=\"))))))", + "(clause (compound (functor \"poverset\") (args (args variable))))", + "(clause (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (head (compound (functor \"powerset\") (args \"[]\" (args (binop variable \"=\"))))))", + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))) (binop \"=\" (list (h (list (h variable))))))", + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"bagof\") (args (args (args variable)))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args \"[]\")))))" + ], + "distribution": [ + 63, + 0 + ], + "quality": 0.9722307719109978 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args variable)))" + ], + "distribution": [ + 42, + 0 + ], + "quality": 0.9579742818233373 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (list (h variable))))))" + ], + "distribution": [ + 29, + 0 + ], + "quality": 0.9371692827262958 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9225892674725523 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args variable))))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.9156912952121569 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"findall\") (args (args (args variable)))))", + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args (args variable)))))))" + ], + "distribution": [ + 10, + 126 + ], + "quality": 0.9100774293201361 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args \"[]\"))))" + ], + "distribution": [ + 98, + 8 + ], + "quality": 0.9037855287574943 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8876472062866424 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args variable))))))", + "(clause (compound (functor \"findall\") (args variable (args (compound (functor \"subset\") (args (args variable)))))))" + ], + "distribution": [ + 14, + 127 + ], + "quality": 0.8861444788109095 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"findall\") (args (args (compound (functor \"subset\") (args (args variable)))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8805979876108646 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"findall\") (args variable)))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8643582057994821 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args (args variable)))) (compound (functor \"subset\") (args (args variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8224743773159554 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.68848276586943 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"powerset\") (args variable))) (compound (functor \"subset\") (args (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.68848276586943 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/sets/subset_2/bugs.json b/prolog/problems/sets/subset_2/bugs.json new file mode 100644 index 0000000..7d778ef --- /dev/null +++ b/prolog/problems/sets/subset_2/bugs.json @@ -0,0 +1,235 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"subset\") (args (list (t variable))))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"subset\") (args \"[]\"))))", + "(clause (head (compound (functor \"subset\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"subset\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"subset\") (args (args (list (t variable)))))) (compound (functor \"subset\") (args (args variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"subset\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"subset\") (args variable (args variable)))))", + "(clause (compound (functor \"subset\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"subset\") (args variable))))", + "(clause (compound (functor \"subset\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"subset\") (args variable (args \"[]\")))))", + "(clause (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"is_subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"subset\") (args (args (list (h variable))))))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"sublist\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"subset\") (args variable)) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (list (t variable))))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"subset\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"sublist\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (args (list (h variable)))))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"diff\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"subset\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"subset\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"is_subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"is_subset\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args (list (t variable)))))) (compound (functor \"subset\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"subset\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"subset\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"subset\") (args (args variable))) (compound (functor \"subset\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"intersect\") (args (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"subset\") (args (args (list (h variable)))))) (compound (functor \"subset\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"sublist\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"diff\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"subset\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"union\") (args variable (args variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"subset\") (args (args variable))))", + "(clause (compound (functor \"diff\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"is_subset\") (args variable)) (binop \"=\" variable))", + "(clause (head (compound (functor \"subset\") (args (list (t variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"is_subset\") (args variable)))", + "(clause (binop \"\\==\" variable) (compound (functor \"subset\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args variable))))", + "(clause (head (compound (functor \"subset\") (args (args (list (h variable)))))) (binop \"\\==\" variable))", + "(clause (compound (functor \"subset\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"subset\") (args variable)))", + "(clause (head (compound (functor \"subset\") (args (list (t (list (h variable))))))) (compound (functor \"subset\") (args variable)))", + "(clause (compound (functor \"diff\") (args (args (list (h variable) (t variable))))))", + "(clause (head (compound (functor \"subset\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop \"=\" variable) (compound (functor \"subset\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"subset\") (args (args (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (binop variable \"\\==\"))", + "(clause (binop \"=\" \"[]\"))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"is_subset\") (args variable)))" + ], + "distribution": [ + 35, + 0 + ], + "quality": 0.9472341826090998 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (args variable)))))" + ], + "distribution": [ + 30, + 0 + ], + "quality": 0.9360037505255554 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (compound (functor \"subset\") (args (args (list (h variable))))))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9310345353291157 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"subset\") (args (args variable))))", + "(clause (head (compound (functor \"subset\") (args (args (list (t variable)))))) (compound (functor \"subset\") (args (args variable))))" + ], + "distribution": [ + 4, + 80 + ], + "quality": 0.913934983699415 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"is_subset\") (args (args variable))))" + ], + "distribution": [ + 36, + 1 + ], + "quality": 0.9120822311563208 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"sublist\") (args variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8860152000671373 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8860152000671373 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"subset\") (args variable)) (compound (functor \"subset\") (args variable)))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.876899140771019 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (args variable)))) (compound (functor \"subset\") (args (args (list (t variable))))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8459240264915695 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8313514577864842 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args (list (h variable))))) (binop \"=\" variable))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7970465980763067 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"subset\") (args variable))) (compound (functor \"is_subset\") (args variable)))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7726607891166476 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/sets/union_3/bugs.json b/prolog/problems/sets/union_3/bugs.json new file mode 100644 index 0000000..497cac6 --- /dev/null +++ b/prolog/problems/sets/union_3/bugs.json @@ -0,0 +1,715 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"union\") (args (list (t variable))))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args \"[]\"))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (args \"[]\" (args variable))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"union\") (args variable (args \"[]\")))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (t variable)))))) (compound (functor \"union\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"union\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (head (compound (functor \"union\") (args variable (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"union\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"union\") (args variable)))", + "(clause (binop \"=\" variable))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"union\") (args variable)))", + "(clause (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (list (h variable)))))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"union\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"member\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop \"=\" (list (h variable))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (list (t variable))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args variable (args variable)))))", + "(clause (compound (functor \"union\") (args \"[]\" (args variable))))", + "(clause (compound (functor \"union\") (args \"[]\" (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (list (h variable)) (args \"[]\")))))", + "(clause (compound (functor \"union\") (args \"[]\")))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"union\") (args (args \"[]\" (args (list (h variable))))))))", + "(clause (head (compound (functor \"union\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"union\") (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))", + "(clause (unop \\+ (compound (functor \"member\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args variable))))", + "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (binop variable \"=\") (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (binop variable \"\\=\"))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (args variable)))))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\") (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (compound (functor \"union\") (args (args (args (list (t variable)))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"union\") (args (args (args (list (h variable)))))))", + "(clause (binop \"=\" (list (h variable))) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (list (t variable)))))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"append\") (args (args variable))))", + "(clause (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"union\") (args variable)) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"union\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (compound (functor \"union\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (binop \"\\=\" variable))", + "(clause (compound (functor \"union\") (args variable (args \"[]\"))))", + "(clause (compound (functor \"union\") (args (args \"[]\" (args variable)))))", + "(clause (compound (functor \"union\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (binop \"=\" variable) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (t variable)))))))", + "(clause (compound (functor \"union\") (args (args \"[]\"))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (compound (functor \"union\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"memb\") (args variable)) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"union\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"notmemb\") (args variable)))", + "(clause (compound (functor \"count\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args variable))))", + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"count\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (compound (functor \"memb\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"count\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"union\") (args (args (list (h variable))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))) (compound (functor \"append\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"append\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"member\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args variable))))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (binop \"=\" variable))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (compound (functor \"count\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"count\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"append\") (args (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"insert\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"union\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"notmemb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable)) (args (args \"[]\"))))))", + "(clause (compound (functor \"\\+\") (args (compound (functor \"memb\") (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union\") (args (list (t \"[]\")) (args \"[]\")))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"union\") (args (list (t \"[]\")) (args (args (list (h variable))))))))", + "(clause (compound (functor \"notmemb\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args (args variable))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"union\") (args variable (args (args \"[]\"))))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"count\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args (args (list (t variable)))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"union\") (args variable)) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"member\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (compound (functor \"del\") (args variable)) (compound (functor \"insert\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"append\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"append\") (args (list (h variable)))))", + "(clause (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (t \"[]\")) (args (list (h variable))))))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable) (t \"[]\")))))))", + "(clause (head (compound (functor \"uni\") (args (args (args (list (h variable))))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args (list (t variable))))))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (compound (functor \"union\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"union\") (args (args (list (h variable))))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"insert\") (args (args variable))) (binop variable \"=\"))", + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))) (compound (functor \"insert\") (args variable)))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (binop variable \">\" \"0\"))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"uninon\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable) (t \"[]\"))))))))", + "(clause (binop \">\" \"0\"))", + "(clause (binop \"\\=\" variable) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (list (t variable)))))) (compound (functor \"union\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"union\") (args (list (t variable))))) (compound (functor \"uninon\") (args variable)))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"union\") (args (args variable (args \"[]\"))))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (compound (functor \"member\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"member\") (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (binop variable \"is\"))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t \"[]\"))))))))", + "(clause (binop variable \"\\=\") (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \">\"))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (binop variable \"=:=\" \"0\"))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"member\") (args variable)))", + "(clause (compound (functor \"union\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"conc\") (args \"[]\" (args variable))))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (binop \"\\=\" variable) (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union_cleanup\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args \"[]\" (args (args variable)))))", + "(clause (compound (functor \"union\") (args (args variable))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (unop \\+ (compound (functor \"member\") (args variable))))", + "(clause (binop \"=:=\" \"0\"))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"count\") (args (args variable))))", + "(clause (binop variable \"=\") (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \"=:=\"))", + "(clause (compound (functor \"del\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"union_cleanup\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t (list (t variable))))))))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args \"[]\")))", + "(clause (binop variable \"\\=\") (unop \\+ (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"union_cleanup\") (args (list (t variable))))) (compound (functor \"del\") (args (args variable))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (binop variable \"\\=\"))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (t variable)))))) (compound (functor \"union\") (args variable)))", + "(clause (binop \"\\=\" variable) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \"<\"))", + "(clause (binop variable \"=\") (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"notmemb\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (binop variable \"=:=\"))", + "(clause (binop \"\\=\" variable) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"\\+\") (args (compound (functor \"memb\") (args (args variable))))))", + "(clause (compound (functor \"del\") (args (args variable (args variable)))))", + "(clause (head (compound (functor \"union_cleanup\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"union\") (args variable (args variable)))))", + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"union\") (args variable)) (compound (functor \"union\") (args variable)))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args variable))) (compound (functor \"union\") (args (list (h variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"union\") (args (list (t variable)))))", + "(clause (head (compound (functor \"union\") (args (args (list (t variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"union\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"notmemb\") (args variable)))", + "(clause (unop \\+ (compound (functor \"member\") (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"unoion\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable (args variable)))))", + "(clause (head (compound (functor \"unionunion\") (args (list (t variable))))) (compound (functor \"union\") (args variable)))", + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"notmemb\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args variable (args (args variable)))))", + "(clause (head (compound (functor \"unionunion\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (compound (functor \"not\") (args (compound (functor \"member\") (args (args variable))))) (compound (functor \"union\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args (list (t variable)))))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"unoion\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (unop \\+ (compound (functor \"memb\") (args (args (args variable))))))", + "(clause (compound (functor \"count\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"count\") (args (args variable))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args variable))))))" + ], + "distribution": [ + 78, + 0 + ], + "quality": 0.9743051886197767 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"union\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 56, + 0 + ], + "quality": 0.9613377811067118 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args (args (args variable)))))" + ], + "distribution": [ + 47, + 0 + ], + "quality": 0.9522807311531841 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9481387094716355 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (list (t variable))))))" + ], + "distribution": [ + 40, + 0 + ], + "quality": 0.9414008279236681 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9023069490370251 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"union\") (args (args variable (args variable)))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9023069490370251 + }, + { + "class": false, + "condition": [ + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args (args variable)))))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.8970365748064876 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args variable))))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.8970365748064876 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args variable)))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.8773248269435879 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (unop \\+ (compound (functor \"member\") (args variable))))" + ], + "distribution": [ + 0, + 22 + ], + "quality": 0.8585955426961931 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (list (h variable)) (args (list (h variable)))))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8514878405900151 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (compound (functor \"union\") (args (args variable))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.839798708765886 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8185777305695742 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8185777305695742 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8185777305695742 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"member\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))" + ], + "distribution": [ + 1, + 22 + ], + "quality": 0.7856499438411576 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (unop \\+ (compound (functor \"member\") (args (args variable)))))" + ], + "distribution": [ + 1, + 24 + ], + "quality": 0.7825686659531135 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (unop \\+ (compound (functor \"member\") (args variable))))" + ], + "distribution": [ + 2, + 24 + ], + "quality": 0.764440174267653 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 8, + 32 + ], + "quality": 0.660710251009848 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))" + ], + "distribution": [ + 13, + 34 + ], + "quality": 0.6100442399859483 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args (list (t variable))))))) (compound (functor \"union\") (args (args (args variable)))))", + "(clause (unop \\+ (compound (functor \"memb\") (args (args variable)))) (compound (functor \"union\") (args (args variable))))" + ], + "distribution": [ + 8, + 27 + ], + "quality": 0.6014604679650691 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args (args (list (h variable))))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))" + ], + "distribution": [ + 0, + 8 + ], + "quality": 0.5894094385220676 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 1, + 12 + ], + "quality": 0.587592265527996 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args (args variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (unop \\+ (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"union\") (args (args (args variable))))) (compound (functor \"union\") (args (args (args variable)))))" + ], + "distribution": [ + 14, + 33 + ], + "quality": 0.563324881885194 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"union\") (args (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (args \"[]\" (args variable))))))" + ], + "distribution": [ + 0, + 6 + ], + "quality": 0.4387079178467952 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"count\") (args variable)) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 0, + 6 + ], + "quality": 0.4387079178467952 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"union\") (args (args variable))))", + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"not\") (args (compound (functor \"memb\") (args variable)))))" + ], + "distribution": [ + 3, + 10 + ], + "quality": 0.42571841169817115 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (unop \\+ (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 6, + 11 + ], + "quality": 0.31611319951867 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"union\") (args (list (h variable))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"union\") (args (args variable)))) (compound (functor \"not\") (args (compound (functor \"memb\") (args (args variable))))))" + ], + "distribution": [ + 6, + 11 + ], + "quality": 0.31611319951867 + } + ] +} \ No newline at end of file -- cgit v1.2.1