diff options
Diffstat (limited to 'prolog/problems/lists/del_3/bugs.json')
| -rw-r--r-- | prolog/problems/lists/del_3/bugs.json | 833 |
1 files changed, 833 insertions, 0 deletions
diff --git a/prolog/problems/lists/del_3/bugs.json b/prolog/problems/lists/del_3/bugs.json new file mode 100644 index 0000000..34d373a --- /dev/null +++ b/prolog/problems/lists/del_3/bugs.json @@ -0,0 +1,833 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"del\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (args \"[]\"))))))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"del\") (args variable (args (args \"[]\"))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"del\") (args (args \"[]\")))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"==\"))", + "(clause (head (compound (functor \"del\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args variable)))))", + "(clause (binop variable \"=\") (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop \"==\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"==\" variable))", + "(clause (binop variable \"=\") (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop \"\\==\" variable))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"==\"))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args (list (h variable))))))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args variable (args (args (list (h variable))))))))", + "(clause (binop \"\\==\" variable) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"delete\") (args variable))) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"==\" variable))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"delete\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args \"[]\" (args variable))))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args (list (t variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (binop variable \"=\")))", + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"conc\") (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"\\=\" variable))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"\\=\"))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))))", + "(clause (head (binop \"=\" (list (t variable)))))", + "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args variable (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"=\"))", + "(clause (binop variable \"\\=\") (compound (functor \"del\") (args variable)))", + "(clause (binop variable \"=\" (list (h variable))))", + "(clause (binop \"=\" variable) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args (list (t variable)))))))", + "(clause (binop variable \"\\=\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args (args variable (args \"[]\"))))))", + "(clause (compound (functor \"del\") (args (args variable (args variable)))))", + "(clause (head (compound (functor \"delete\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop \"\\=\" variable))", + "(clause (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"del\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"\\==\"))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"del\") (args (args (list (t (list (h variable)))))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"delete\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"delete\") (args (args (args (list (t variable))))))) (compound (functor \"delete\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"==\"))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (binop \"=\" (list (h variable)))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))", + "(clause (binop variable \"\\=\"))", + "(clause (compound (functor \"del\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"delete\") (args (args (list (t variable)))))) (compound (functor \"delete\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (binop \"\\=\" variable))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"del\") (args \"[]\" (args (args variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (binop \"=\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop (binop \"=\" variable) \"|\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args \"[]\"))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (binop variable \"=\" (list (h \"[]\"))))", + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (h \"[]\"))))", + "(clause (binop \"=\" (list (h \"[]\") (t variable))))", + "(clause (binop \"=\" (list (t variable))) (binop (binop variable \"=\") \"|\"))", + "(clause (compound (functor \"del\") (args (args (args \"[]\")))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args variable)))) (binop \"=\" variable))", + "(clause (binop \"\\=\" variable) (compound (functor \"del\") (args variable)))", + "(clause (binop variable \"\\==\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args (list (h variable))))))", + "(clause (compound (functor \"del\") (args (args variable (args \"[]\")))))", + "(clause (binop (binop \"=\" variable) \"|\") (binop \"=\" variable))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"==\" variable) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"del\") (args variable (args (args \"[]\")))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t (list (h variable)))) (args variable))))))", + "(clause (head (binop variable \"=\" (list (h variable)))))", + "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args (list (t variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"del\") (args variable)) (binop \"=\" variable))", + "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 116, + 0 + ], + "quality": 0.9849948790812632 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 196, + 2 + ], + "quality": 0.9800002708060949 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable))))" + ], + "distribution": [ + 117, + 1 + ], + "quality": 0.9746637220573926 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (args variable))))))" + ], + "distribution": [ + 83, + 1 + ], + "quality": 0.9637161155237414 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))" + ], + "distribution": [ + 49, + 0 + ], + "quality": 0.9605929930584268 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9555710694733691 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 90, + 2 + ], + "quality": 0.9538781413622573 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args \"[]\")))))" + ], + "distribution": [ + 55, + 1 + ], + "quality": 0.9427801352444736 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args variable)))))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9376094405437594 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9332118303316111 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (args \"[]\"))))))" + ], + "distribution": [ + 68, + 3 + ], + "quality": 0.9223387559820253 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 45, + 2 + ], + "quality": 0.9029287003421126 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.90080527035397 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8911811592756177 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"del\") (args (args variable))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8911811592756177 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args (list (h variable))))))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8842519805264388 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8842519805264388 + }, + { + "class": false, + "condition": [ + "(clause (binop \"\\==\" variable) (compound (functor \"del\") (args variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8762537481589044 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"==\" variable))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8664132146073047 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"delete\") (args variable (args (list (h variable)))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8554008072866465 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 21, + 155 + ], + "quality": 0.8535437992650724 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.845385684352757 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"delete\") (args variable))) (compound (functor \"delete\") (args variable)))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.845385684352757 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 25, + 158 + ], + "quality": 0.8389658632349006 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 25, + 156 + ], + "quality": 0.837055718203718 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.815496657694811 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.815496657694811 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (compound (functor \"del\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.815496657694811 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 32, + 161 + ], + "quality": 0.8133170492524149 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"\\=\" variable))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.7990326898491317 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.7990326898491317 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop variable \"\\==\"))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.7990326898491317 + }, + { + "class": false, + "condition": [ + "(clause (head (binop variable \"=\")))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.7990326898491317 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 38, + 159 + ], + "quality": 0.7825207375818234 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"del\") (args (args (args (list (t variable)))))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7778461853105435 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"\\=\") (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7778461853105435 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"\\=\") (compound (functor \"del\") (args variable)))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7778461853105435 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 47, + 165 + ], + "quality": 0.7580333749731936 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" variable))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7517017140221434 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable))) (binop \"\\=\" variable))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7517017140221434 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 2, + 25 + ], + "quality": 0.746763415540722 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (args variable))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 0, + 11 + ], + "quality": 0.7314481033259684 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (args (list (t variable))))))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 70, + 173 + ], + "quality": 0.699662623234134 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 7, + 31 + ], + "quality": 0.6871971251913926 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 0, + 7 + ], + "quality": 0.6814775755254696 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 9, + 32 + ], + "quality": 0.6807877449850186 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))" + ], + "distribution": [ + 3, + 16 + ], + "quality": 0.6432549088482765 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"=\"))" + ], + "distribution": [ + 4, + 20 + ], + "quality": 0.6264207966829962 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))", + "(clause (head (compound (functor \"del\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 10, + 28 + ], + "quality": 0.581720792487467 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"del\") (args variable))) (binop variable \"=\"))" + ], + "distribution": [ + 10, + 25 + ], + "quality": 0.5799037859009714 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 20, + 38 + ], + "quality": 0.5647093308403234 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))" + ], + "distribution": [ + 134, + 184 + ], + "quality": 0.5608601870295024 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 62, + 81 + ], + "quality": 0.5359594019200824 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)) (args variable))))))" + ], + "distribution": [ + 174, + 200 + ], + "quality": 0.518985127711331 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))" + ], + "distribution": [ + 187, + 196 + ], + "quality": 0.4985565256833396 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 6, + 15 + ], + "quality": 0.4771191019402525 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"del\") (args (args (list (t variable)))))) (compound (functor \"del\") (args (args variable))))" + ], + "distribution": [ + 257, + 212 + ], + "quality": 0.4430781515633242 + } + ] +}
\ No newline at end of file |