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/union_3/bugs.json | 715 +++++++++++++++++++++++++++++++++ 1 file changed, 715 insertions(+) create mode 100644 prolog/problems/sets/union_3/bugs.json (limited to 'prolog/problems/sets/union_3/bugs.json') 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