From 92c49ac708e04e545da6e7aafe91cac8f223f475 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 27 Feb 2017 18:35:01 +0100 Subject: Prolog: add bugs files for the first six groups --- prolog/problems/lists_advanced/sublist_2/bugs.json | 527 +++++++++++++++++++++ 1 file changed, 527 insertions(+) create mode 100644 prolog/problems/lists_advanced/sublist_2/bugs.json (limited to 'prolog/problems/lists_advanced/sublist_2') 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 -- cgit v1.2.1