summaryrefslogtreecommitdiff
path: root/prolog/problems/lists/del_3
diff options
context:
space:
mode:
Diffstat (limited to 'prolog/problems/lists/del_3')
-rw-r--r--prolog/problems/lists/del_3/bugs.json833
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