diff options
Diffstat (limited to 'prolog/problems/sets/intersect_3')
| -rw-r--r-- | prolog/problems/sets/intersect_3/bugs.json | 496 |
1 files changed, 496 insertions, 0 deletions
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 |