summaryrefslogtreecommitdiff
path: root/prolog/problems/lists_advanced/sublist_2
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2017-02-27 18:35:01 +0100
commit92c49ac708e04e545da6e7aafe91cac8f223f475 (patch)
treefe56e0e2e5e40e863cb993d85cd0e09d39e545de /prolog/problems/lists_advanced/sublist_2
parent320f6db34b5da13e259c3a55db9996a456bf8839 (diff)
Prolog: add bugs files for the first six groups
Diffstat (limited to 'prolog/problems/lists_advanced/sublist_2')
-rw-r--r--prolog/problems/lists_advanced/sublist_2/bugs.json527
1 files changed, 527 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/sublist_2/bugs.json b/prolog/problems/lists_advanced/sublist_2/bugs.json
new file mode 100644
index 0000000..acce3a7
--- /dev/null
+++ b/prolog/problems/lists_advanced/sublist_2/bugs.json
@@ -0,0 +1,527 @@
+{
+ "patterns": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (args \"[]\")))))",
+ "(clause (head (compound (functor \"sublist\") (args \"[]\"))))",
+ "(clause (head (compound (functor \"sublist\") (args \"[]\" (args \"[]\")))))",
+ "(clause (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args (list (t variable)))))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (args (list (h variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args variable (args \"[]\")))))",
+ "(clause (head (compound (functor \"sublist\") (args (args (list (t variable)))))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (compound (functor \"conc\") (args (args (args (list (t variable)))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args variable)) (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" variable))",
+ "(clause (binop \"=\" \"[]\"))",
+ "(clause (binop variable \"=\" \"[]\"))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args variable (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" variable))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (binop variable \"=\"))",
+ "(clause (compound (functor \"conc\") (args (args (args (list (t variable)))))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (binop variable \"=\") (compound (functor \"sublist\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args \"[]\"))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (binop \"=\" (list (t variable))))",
+ "(clause (compound (functor \"conc\") (args variable (args \"[]\"))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args \"[]\" (args variable)))))",
+ "(clause (binop variable \"=\") (binop variable \"=\"))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"sublist\") (args (list (h variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (list (t variable)))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (binop variable \"=\") (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"\\=\"))",
+ "(clause (binop \"=\" (list (h variable) (t \"[]\"))))",
+ "(clause (compound (functor \"conc\") (args (args variable (args variable)))))",
+ "(clause (binop variable \"=\" (list (t \"[]\"))))",
+ "(clause (binop \"=\" (list (t \"[]\"))))",
+ "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sublist\") (args \"[]\" (args variable)))))",
+ "(clause (binop variable \"\\=\" \"[]\"))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (unop \\+ (binop variable \"=\")))",
+ "(clause (binop \"\\=\" \"[]\"))",
+ "(clause (binop \"=\" (list (t (list (t variable))))))",
+ "(clause (unop \\+ (binop \"=\" \"[]\")))",
+ "(clause (unop \\+ (binop variable \"=\" \"[]\")))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (binop variable \"=\")))",
+ "(clause (head (binop \"=\" variable)))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (list (h variable))))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args (list (h variable)))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop \"=\" variable))",
+ "(clause (binop variable \"\\=\"))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"sublist\") (args (args variable))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable)) (args variable)))))",
+ "(clause (binop \"=\" (list (t (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"is\"))",
+ "(clause (compound (functor \"conc\") (args (list (t variable)))))",
+ "(clause (compound (functor \"sublist\") (args variable (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable) (t variable))))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t (list (t variable))))))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (binop \"\\==\" \"[]\"))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args \"[]\")))))",
+ "(clause (binop variable \"\\==\" \"[]\"))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"append\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args variable (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args variable (args (list (t variable))))))",
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args variable))))",
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"fsub\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable)) (args (list (t variable)))))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop variable \"\\=\"))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args variable))))",
+ "(clause (compound (functor \"sublist\") (args (args variable))) (unop \\+ (binop variable \"=\")))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (compound (functor \"conc\") (args \"[]\" (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (list (h variable)) (args variable))))",
+ "(clause (head (compound (functor \"fsub\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (list (t variable))))))",
+ "(clause (compound (functor \"conc\") (args \"[]\")))",
+ "(clause (binop (list (h variable)) \"=\"))",
+ "(clause (head (compound (functor \"subl\") (args (args (list (t variable)))))) (compound (functor \"subl\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"subl\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args (list (h variable))))) (binop \"=\" (list (h variable))))",
+ "(clause (binop \"=\" (list (t variable))) (binop \"=\" variable))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"subl\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"subl\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"subl\") (args (args variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t \"[]\"))))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (list (h variable)))))",
+ "(clause (binop variable \"=<\") (binop \"=\" (list (h variable))))",
+ "(clause (head (compound (functor \"sublist\") (args (args (list (t variable)))))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable) (t \"[]\"))))))",
+ "(clause (head (compound (functor \"subl\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"sublist\") (args variable)) (compound (functor \"conc\") (args (args variable))))",
+ "(clause (head (compound (functor \"subl\") (args (args \"[]\" (args variable))))))",
+ "(clause (head (compound (functor \"subl\") (args variable (args \"[]\")))))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))",
+ "(clause (head (compound (functor \"subl\") (args (args (args variable))))) (compound (functor \"subl\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop variable \"=<\"))",
+ "(clause (binop \"=\" (list (h variable))) (binop \"=<\" variable))",
+ "(clause (compound (functor \"conc\") (args (args (list (t variable))))) (binop \"=\" (list (t variable))))",
+ "(clause (head (compound (functor \"subl\") (args variable))) (compound (functor \"subl\") (args variable)))",
+ "(clause (compound (functor \"subl\") (args variable (args variable))))",
+ "(clause (head (compound (functor \"subl\") (args (args \"[]\")))))"
+ ],
+ "rules": [
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 96,
+ 0
+ ],
+ "quality": 0.9822117568233223
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))))"
+ ],
+ "distribution": [
+ 59,
+ 0
+ ],
+ "quality": 0.9678944049149696
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (args (list (t variable)))))) (compound (functor \"sublist\") (args (args variable))))"
+ ],
+ "distribution": [
+ 45,
+ 0
+ ],
+ "quality": 0.95558425679854
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 45,
+ 0
+ ],
+ "quality": 0.95558425679854
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args (list (h variable)))))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))"
+ ],
+ "distribution": [
+ 77,
+ 1
+ ],
+ "quality": 0.9469515797981775
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (binop \"=\" (list (h variable))))"
+ ],
+ "distribution": [
+ 58,
+ 1
+ ],
+ "quality": 0.9427119683066102
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable)) (args (list (h variable)))))))"
+ ],
+ "distribution": [
+ 105,
+ 4
+ ],
+ "quality": 0.9380206385193013
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args variable))) (binop \"=\" variable))"
+ ],
+ "distribution": [
+ 33,
+ 0
+ ],
+ "quality": 0.9338975659148043
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args \"[]\" (args \"[]\")))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 122,
+ 5
+ ],
+ "quality": 0.9291150449571097
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))"
+ ],
+ "distribution": [
+ 60,
+ 1
+ ],
+ "quality": 0.9260809884815985
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 47,
+ 1
+ ],
+ "quality": 0.9259029131445955
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 2,
+ 73
+ ],
+ "quality": 0.9258076118083884
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args \"[]\" (args \"[]\")))))",
+ "(clause (binop \"=\" (list (t variable))) (compound (functor \"sublist\") (args variable)))"
+ ],
+ "distribution": [
+ 73,
+ 2
+ ],
+ "quality": 0.9220920542429745
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 156,
+ 10
+ ],
+ "quality": 0.9195686065251332
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 28,
+ 0
+ ],
+ "quality": 0.9180369800120464
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 6,
+ 104
+ ],
+ "quality": 0.9159805216406367
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args variable)))"
+ ],
+ "distribution": [
+ 24,
+ 0
+ ],
+ "quality": 0.9003487095519815
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8891079363889672
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 22,
+ 0
+ ],
+ "quality": 0.8891079363889672
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.8822628861424969
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"sublist\") (args (args variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.8822628861424969
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 21,
+ 0
+ ],
+ "quality": 0.8822628861424969
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args (args (list (t variable)))))) (compound (functor \"sublist\") (args variable)))"
+ ],
+ "distribution": [
+ 20,
+ 0
+ ],
+ "quality": 0.8748108331097285
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (binop variable \"=\"))"
+ ],
+ "distribution": [
+ 19,
+ 0
+ ],
+ "quality": 0.8663218629482545
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"sublist\") (args (args variable))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.854134114032757
+ },
+ {
+ "class": false,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))"
+ ],
+ "distribution": [
+ 18,
+ 0
+ ],
+ "quality": 0.854134114032757
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 25,
+ 109
+ ],
+ "quality": 0.7903132859329443
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (list (t variable))))) (compound (functor \"sublist\") (args variable)))",
+ "(clause (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 1,
+ 15
+ ],
+ "quality": 0.7218208238692915
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args (args (args variable)))))",
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))"
+ ],
+ "distribution": [
+ 4,
+ 22
+ ],
+ "quality": 0.7003614662287178
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"sublist\") (args (args variable)))) (compound (functor \"conc\") (args variable)))",
+ "(clause (binop \"\\==\" \"[]\"))"
+ ],
+ "distribution": [
+ 0,
+ 5
+ ],
+ "quality": 0.47276259970016454
+ },
+ {
+ "class": true,
+ "condition": [
+ "(clause (head (compound (functor \"fsub\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))"
+ ],
+ "distribution": [
+ 0,
+ 3
+ ],
+ "quality": 0.39632794402854515
+ }
+ ]
+} \ No newline at end of file