diff options
Diffstat (limited to 'prolog/problems/lists/insert_3/bugs.json')
| -rw-r--r-- | prolog/problems/lists/insert_3/bugs.json | 669 |
1 files changed, 669 insertions, 0 deletions
diff --git a/prolog/problems/lists/insert_3/bugs.json b/prolog/problems/lists/insert_3/bugs.json new file mode 100644 index 0000000..b863ff5 --- /dev/null +++ b/prolog/problems/lists/insert_3/bugs.json @@ -0,0 +1,669 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"insert\") (args variable (args \"[]\")))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args variable))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"insert\") (args variable (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t variable)))) (args (list (t (list (t (list (t variable))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (h variable))))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable) (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")))))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t \"[]\")))))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (h variable))))))))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (h variable) (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t \"[]\"))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args variable (args variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"insertF\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"insert\") (args \"[]\"))))", + "(clause (head (compound (functor \"insertL\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insertL\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"insert\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insertL\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"insertL\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"insert\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"insertL\") (args (args \"[]\" (args (list (h variable))))))))", + "(clause (head (compound (functor \"insertL\") (args variable))) (compound (functor \"insertL\") (args variable)))", + "(clause (head (compound (functor \"insertL\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"insertL\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"insert\") (args (args variable (args (list (t variable)))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insertL\") (args (args variable))))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insertF\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (h variable) (t \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\" (list (t \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (h variable))))))))))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"delete\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"delete\") (args variable)))", + "(clause (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (list (h variable)))))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t variable))))))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"insert\") (args (args (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"insert\") (args (args \"[]\" (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (compound (functor \"insert\") (args (args \"[]\"))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"insert\") (args variable (args \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (compound (functor \"insertF\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (compound (functor \"insert\") (args (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args variable))))))", + "(clause (compound (functor \"append\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))", + "(clause (compound (functor \"insertF\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"insertF\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insertF\") (args (args (args variable))))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args (list (h variable))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 96, + 0 + ], + "quality": 0.9809983489905899 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 84, + 0 + ], + "quality": 0.9779557461869847 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))))" + ], + "distribution": [ + 64, + 0 + ], + "quality": 0.9701372216334027 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))))" + ], + "distribution": [ + 52, + 0 + ], + "quality": 0.9623158836715362 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))" + ], + "distribution": [ + 1, + 78 + ], + "quality": 0.9585068382186356 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9546866918174765 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 2, + 108 + ], + "quality": 0.9489425014747489 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 2, + 79 + ], + "quality": 0.9462265906785803 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9373562145752073 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9334733640178655 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9210026715389256 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 25, + 0 + ], + "quality": 0.914160398310297 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))" + ], + "distribution": [ + 38, + 1 + ], + "quality": 0.9137268661238094 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9057307439251511 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "distribution": [ + 21, + 0 + ], + "quality": 0.8952422262460376 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8883865000593553 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8838682912904711 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8761554549819403 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8673982968475626 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8673982968475626 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))" + ], + "distribution": [ + 13, + 111 + ], + "quality": 0.8622038337735494 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8444915571428488 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8444915571428488 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 17, + 110 + ], + "quality": 0.8396242375702132 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8324450355202406 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8169111707967117 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\" (list (t variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8169111707967117 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8169111707967117 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 23, + 118 + ], + "quality": 0.8084559536708993 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7782285881315864 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))" + ], + "distribution": [ + 2, + 23 + ], + "quality": 0.7672724265740091 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7530227654833378 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7530227654833378 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 34, + 114 + ], + "quality": 0.740004128093178 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))" + ], + "distribution": [ + 40, + 126 + ], + "quality": 0.7320278311098433 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop variable \"=\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))" + ], + "distribution": [ + 7, + 29 + ], + "quality": 0.6741379300408554 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.5886120313182593 + } + ] +}
\ No newline at end of file |