diff options
Diffstat (limited to 'prolog/problems/lists/conc_3')
| -rw-r--r-- | prolog/problems/lists/conc_3/bugs.json | 623 |
1 files changed, 623 insertions, 0 deletions
diff --git a/prolog/problems/lists/conc_3/bugs.json b/prolog/problems/lists/conc_3/bugs.json new file mode 100644 index 0000000..faa8bb9 --- /dev/null +++ b/prolog/problems/lists/conc_3/bugs.json @@ -0,0 +1,623 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"conc\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"conc\") (args (args \"[]\" (args variable))))))", + "(clause (head (compound (functor \"conc\") (args variable (args \"[]\")))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args variable (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args variable))))", + "(clause (head (compound (functor \"conc\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"conc\") (args (args variable (args (list (t variable))))))))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"conc\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"conc\") (args (args variable (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args variable)))", + "(clause (binop (list (t variable)) \"=\") (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args variable (args (args (list (h variable))))))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args variable (args (list (t variable)))))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (t variable)))))", + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))))", + "(clause (compound (functor \"conc\") (args \"[]\" (args variable))))", + "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"conc\") (args \"[]\")))", + "(clause (compound (functor \"conc\") (args \"[]\" (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t (list (t (list (t (list (h variable))))))))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"conc\") (args (list (t \"[]\"))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"conc\") (args (list (t \"[]\")) (args variable)))))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)) (args (list (t variable))))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (h variable))))))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (list (t \"[]\")) (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop variable \"==\" \"[]\"))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args variable (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (list (h variable)))))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"==\"))", + "(clause (binop \"==\" \"[]\"))", + "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (t (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"conc\") (args variable)) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable)) (args (args variable))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"conc\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args variable (args (args (list (h variable)))))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (h variable))))))) (compound (functor \"conc\") (args variable)))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 200, + 0 + ], + "quality": 0.9918098978873745 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args (args variable))))))" + ], + "distribution": [ + 95, + 0 + ], + "quality": 0.9813216549666162 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 109, + 0 + ], + "quality": 0.9792693390073695 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))))" + ], + "distribution": [ + 84, + 0 + ], + "quality": 0.9784913292107171 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 128, + 1 + ], + "quality": 0.9769005851308159 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 74, + 0 + ], + "quality": 0.9751485753644915 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))" + ], + "distribution": [ + 5, + 194 + ], + "quality": 0.96777166797591 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 57, + 0 + ], + "quality": 0.9664740583799806 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (h variable))))))" + ], + "distribution": [ + 52, + 0 + ], + "quality": 0.9625183513217128 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args variable)))))" + ], + "distribution": [ + 96, + 1 + ], + "quality": 0.9616690423705326 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args variable))))" + ], + "distribution": [ + 49, + 0 + ], + "quality": 0.9598416751987479 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 8, + 195 + ], + "quality": 0.9537663671373556 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 176, + 6 + ], + "quality": 0.9534661465905875 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 41, + 0 + ], + "quality": 0.9502480946983761 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))" + ], + "distribution": [ + 10, + 199 + ], + "quality": 0.9456023946121227 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 35, + 0 + ], + "quality": 0.9400876354157746 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 48, + 1 + ], + "quality": 0.9301166055329816 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 30, + 0 + ], + "quality": 0.9274776659225339 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 15, + 200 + ], + "quality": 0.9240650012127092 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 134, + 8 + ], + "quality": 0.9227536777332479 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"conc\") (args variable (args \"[]\")))))" + ], + "distribution": [ + 54, + 1 + ], + "quality": 0.9220529205414407 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 42, + 1 + ], + "quality": 0.918344977607912 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable (args (list (t variable))))))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9172841429595752 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 156, + 12 + ], + "quality": 0.9092617591052642 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 19, + 199 + ], + "quality": 0.9069186602870813 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9056547059316193 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args variable))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 68, + 4 + ], + "quality": 0.9017940133144648 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 22, + 201 + ], + "quality": 0.8956538011695907 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 24, + 205 + ], + "quality": 0.8897060833902939 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args variable))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 21, + 0 + ], + "quality": 0.8878657999705749 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8624843097901103 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args variable (args variable)))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8624843097901103 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8416383100276 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"conc\") (args (args (args (list (t variable))))))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 48, + 205 + ], + "quality": 0.805969040247678 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.7979894054615561 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\"))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))" + ], + "distribution": [ + 105, + 203 + ], + "quality": 0.6457478342210308 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"conc\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 132, + 210 + ], + "quality": 0.6033553813748799 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args (args variable (args variable))))))" + ], + "distribution": [ + 176, + 219 + ], + "quality": 0.5467835845280454 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"conc\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"conc\") (args \"[]\" (args (args variable))))))" + ], + "distribution": [ + 213, + 227 + ], + "quality": 0.5093693606117694 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "distribution": [ + 26, + 31 + ], + "quality": 0.4752464712988064 + } + ] +}
\ No newline at end of file |