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/conc_3/bugs.json | 623 ++++++++++++++++++++++ prolog/problems/lists/del_3/bugs.json | 833 ++++++++++++++++++++++++++++++ prolog/problems/lists/divide_3/bugs.json | 597 +++++++++++++++++++++ prolog/problems/lists/dup_2/bugs.json | 537 +++++++++++++++++++ prolog/problems/lists/insert_3/bugs.json | 669 ++++++++++++++++++++++++ prolog/problems/lists/memb_2/bugs.json | 419 +++++++++++++++ prolog/problems/lists/permute_2/bugs.json | 452 ++++++++++++++++ 7 files changed, 4130 insertions(+) create mode 100644 prolog/problems/lists/conc_3/bugs.json create mode 100644 prolog/problems/lists/del_3/bugs.json create mode 100644 prolog/problems/lists/divide_3/bugs.json create mode 100644 prolog/problems/lists/dup_2/bugs.json create mode 100644 prolog/problems/lists/insert_3/bugs.json create mode 100644 prolog/problems/lists/memb_2/bugs.json create mode 100644 prolog/problems/lists/permute_2/bugs.json (limited to 'prolog/problems/lists') 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 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 diff --git a/prolog/problems/lists/divide_3/bugs.json b/prolog/problems/lists/divide_3/bugs.json new file mode 100644 index 0000000..7a3d3a8 --- /dev/null +++ b/prolog/problems/lists/divide_3/bugs.json @@ -0,0 +1,597 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"divide\") (args (args (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"divide\") (args \"[]\"))))", + "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args \"[]\" (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args \"[]\" (args (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" \"[]\"))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable)))) (args (args (list (h variable))))))))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable) (t \"[]\"))))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args \"[]\" (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args \"[]\" (args (args variable))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (args \"[]\"))))))", + "(clause (compound (functor \"divide\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"conc\") (args variable (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (list (h variable)))))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"divide\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args variable (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"divide\") (args (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (args variable (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"divide\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable) (t (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args variable)))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable) (t \"[]\"))))))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" variable))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"divide\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args (list (h variable)))))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args (args (list (h variable))))))))", + "(clause (binop variable \"=\") (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\") (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args variable))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))))", + "(clause (binop variable \"=\") (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"divide\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"divide\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args \"[]\")))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (args variable))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))))", + "(clause (compound (functor \"divide\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable)))) (args (args variable))))))", + "(clause (binop variable \"=\" variable))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args (list (t variable))))))", + "(clause (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (binop variable \"=\" (list (t \"[]\"))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable) (t \"[]\")))))))", + "(clause (binop \"=\" (list (h variable) (t \"[]\"))))", + "(clause (binop \"=\" (list (t \"[]\"))))", + "(clause (head (compound (functor \"divide\") (args (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (list (t \"[]\")))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args (args (list (t variable)))))))", + "(clause (binop variable \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t (list (t variable))))))", + "(clause (binop variable \"=\") (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (binop \"=\" variable))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (compound (functor \"divide\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args \"[]\" (args (list (h variable))))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"oddlen\") (args (list (h variable)))))", + "(clause (compound (functor \"oddlen\") (args (list (t variable)))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args (list (t \"[]\")) (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"evenlen\") (args (list (h variable)))))", + "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"oddlen\") (args (list (t variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))))", + "(clause (head (compound (functor \"devide\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args variable (args (args \"[]\"))))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t (list (h variable)))))) (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (compound (functor \"evenlen\") (args (list (h variable)))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"divide\") (args variable (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args (list (t variable)))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"divide\") (args (args (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"divide\") (args variable)))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args (list (t variable)) (args (list (t variable))))))))", + "(clause (compound (functor \"evenlen\") (args (list (t variable)))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"devide\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"devide\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"divide\") (args (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (compound (functor \"oddlen\") (args (list (h variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"evenlen\") (args (list (t variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (list (t variable)))))) (compound (functor \"divide\") (args (list (t variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (args (binop \"|\" \"[]\"))))))", + "(clause (head (compound (functor \"divideL\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"divide\") (args variable))))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (list (t variable)))))", + "(clause (head (compound (functor \"divide\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"devide\") (args (list (h variable) (t (list (h \"[]\"))))))))", + "(clause (head (compound (functor \"devide\") (args (list (t (list (h \"[]\"))))))))", + "(clause (binop variable \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (binop \"|\" \"[]\") (args (list (h variable))))))))", + "(clause (head (compound (functor \"divide\") (args (args (binop \"|\" \"[]\") (args (args (list (h variable)))))))))", + "(clause (head (compound (functor \"divide\") (args (args (binop variable \"|\") (args (args (list (h variable)))))))))", + "(clause (head (compound (functor \"divide\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"concat\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (binop variable \"|\" \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args variable (args (binop \"|\" \"[]\"))))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"divideL\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop variable \">\"))", + "(clause (head (compound (functor \"divide2\") (args (list (t variable))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args \"[]\")))))", + "(clause (head (compound (functor \"divideS\") (args (args (args variable))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"divideS\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"divide\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (compound (functor \"divide\") (args (list (h variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args (list (t variable)))))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable)) (args (args (list (h variable))))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"divide\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"divide\") (args (args (list (t (list (h variable)))))))) (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide2\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"divide2\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable)))) (args (list (t variable)))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t \"[]\")))) (args (args variable))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable)))) (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"divide\") (args variable))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"dividel\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"divide\") (args (list (h variable)))))", + "(clause (head (compound (functor \"divide2\") (args (args variable)))) (compound (functor \"divide\") (args (args variable))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h \"[]\"))))))))", + "(clause (head (compound (functor \"divide\") (args (list (t variable)) (args (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)))))) (compound (functor \"divide\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable) (t (list (h \"[]\"))))))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args (args variable))))))" + ], + "distribution": [ + 86, + 0 + ], + "quality": 0.9785860066956276 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args (args variable))))) (compound (functor \"divide\") (args (args (args variable)))))" + ], + "distribution": [ + 108, + 1 + ], + "quality": 0.9720150880155988 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable)))))" + ], + "distribution": [ + 61, + 0 + ], + "quality": 0.968078588978822 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"divide\") (args (args variable))))" + ], + "distribution": [ + 92, + 1 + ], + "quality": 0.9663450177851911 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 48, + 0 + ], + "quality": 0.9570652224524285 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"divide\") (args (args (args variable)))))" + ], + "distribution": [ + 47, + 0 + ], + "quality": 0.956022243308435 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 40, + 0 + ], + "quality": 0.9468348385402378 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args variable)))))" + ], + "distribution": [ + 39, + 0 + ], + "quality": 0.9451487184421172 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (t \"[]\")) (args variable)))))" + ], + "distribution": [ + 32, + 0 + ], + "quality": 0.9297026017780392 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable (args variable))))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9268053674110606 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"divide\") (args (args variable))) (binop variable \"=\"))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9268053674110606 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9164992286716568 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9140683253475687 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"divide\") (args (args (args variable)))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9140683253475687 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"divide\") (args (args variable))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9140683253475687 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable (args \"[]\"))))))" + ], + "distribution": [ + 40, + 1 + ], + "quality": 0.9101759348576428 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"divide\") (args variable)))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.8983105052699809 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"divide\") (args (args (args variable)))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.8933309419052631 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"divide\") (args (args variable))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.8933309419052631 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t (list (t variable))))) (binop variable \"=\"))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.8868685351234835 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.8868685351234835 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.8868685351234835 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (args (args variable)))))" + ], + "distribution": [ + 10, + 114 + ], + "quality": 0.8852394420802692 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.871192237374898 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args \"[]\")))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8637639695477869 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"divide\") (args (args (list (h variable))))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8637639695477869 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args variable)))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8637639695477869 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (h variable))))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8531485099731269 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable)) (args (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (args (args (list (t variable))))))) (compound (functor \"divide\") (args (args (args variable)))))" + ], + "distribution": [ + 19, + 119 + ], + "quality": 0.8320520793830597 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (h variable)))) (args (args (list (h variable))))))))" + ], + "distribution": [ + 23, + 119 + ], + "quality": 0.8078706275007033 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"divide\") (args \"[]\"))))", + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable)) (args \"[]\"))))))", + "(clause (head (compound (functor \"divide\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "distribution": [ + 4, + 28 + ], + "quality": 0.7271076007261638 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"divide\") (args (list (t (list (t variable))))))) (compound (functor \"divide\") (args variable)))", + "(clause (head (compound (functor \"divide\") (args (args (list (h variable) (t \"[]\")))))))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.39100325275123204 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/lists/dup_2/bugs.json b/prolog/problems/lists/dup_2/bugs.json new file mode 100644 index 0000000..c62360a --- /dev/null +++ b/prolog/problems/lists/dup_2/bugs.json @@ -0,0 +1,537 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"dup\") (args \"[]\"))))", + "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t (list (h variable)))))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"dup\") (args (args \"[]\")))))", + "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"dup\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args variable))))", + "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"dup\") (args variable)))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))))", + "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"dup\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (h variable)))))))", + "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t variable)))))))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop variable \"=\") (compound (functor \"dup\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable)) (args (list (t (list (t variable)))))))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t variable)))))))", + "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t (list (h variable)))))))))", + "(clause (compound (functor \"conc\") (args variable (args variable))))", + "(clause (head (compound (functor \"dup\") (args variable (args (list (h variable)))))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (h variable))))))", + "(clause (compound (functor \"dup\") (args (args (list (h variable) (t (list (h variable))))))))", + "(clause (compound (functor \"conc\") (args (list (h variable) (t (list (h variable)))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (t (list (h variable)))))))", + "(clause (head (compound (functor \"dup\") (args variable (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (compound (functor \"dup\") (args (args variable))))", + "(clause (binop \"=\" (list (h variable) (t variable))))", + "(clause (binop \"=\" variable))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"dup\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"dup\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"is\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"dup\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (t (list (h variable))))))))", + "(clause (binop variable \"=\") (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (h variable) (t \"[]\")))))))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args variable)))", + "(clause (compound (functor \"conc\") (args (list (h variable)) (args (list (h variable))))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args variable)))))", + "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (binop variable \"=\"))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (list (h variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"is\" (list (t variable))))", + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args (list (t variable)))))))", + "(clause (compound (functor \"dup\") (args variable (args variable))))", + "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (list (h variable)))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (compound (functor \"dup\") (args variable)) (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"concat\") (args (args (args variable)))))", + "(clause (binop \"is\" (list (h variable) (t variable))))", + "(clause (compound (functor \"dup\") (args (args variable))) (binop variable \"=\"))", + "(clause (binop variable \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (args (list (h variable)))))) (compound (functor \"dup\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"dup\") (args (args (binop \"|\" variable))))) (binop variable \"==\"))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"dup\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (args variable))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t (list (h variable))))))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args (list (t (list (t variable))))))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"dup1\") (args \"[]\"))))", + "(clause (head (compound (functor \"dup\") (args variable))) (compound (functor \"dup1\") (args variable)))", + "(clause (binop variable \"is\") (binop \"is\" (list (h variable))))", + "(clause (compound (functor \"dup\") (args (list (h variable) (t (list (h variable)))))))", + "(clause (compound (functor \"dup1\") (args variable (args \"[]\"))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dum\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (list (h variable)))))", + "(clause (head (compound (functor \"dup1\") (args (list (t variable))))) (compound (functor \"dup1\") (args variable)))", + "(clause (head (compound (functor \"dup1\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args (list (h variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"is\" (list (t variable))))", + "(clause (compound (functor \"dup1\") (args (args \"[]\"))))", + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args (args (list (t (list (t variable))))))))", + "(clause (head (compound (functor \"dup1\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"dup\") (args variable)) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (h variable)))))))) (compound (functor \"dup\") (args (args (list (h variable))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (args variable)))) (compound (functor \"dup\") (args (args variable))))" + ], + "distribution": [ + 83, + 0 + ], + "quality": 0.9793745051956579 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (args variable)))))" + ], + "distribution": [ + 69, + 0 + ], + "quality": 0.9745611611669687 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (h variable))))))" + ], + "distribution": [ + 52, + 0 + ], + "quality": 0.965011287140588 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))) (compound (functor \"dup\") (args (args variable))))" + ], + "distribution": [ + 2, + 104 + ], + "quality": 0.9512545556592722 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (binop \"=\" (list (t (list (t variable))))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9365430966407702 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"dup\") (args (args variable))))" + ], + "distribution": [ + 30, + 0 + ], + "quality": 0.9342281690211035 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (args (list (h variable) (t variable)))))))" + ], + "distribution": [ + 25, + 0 + ], + "quality": 0.9187546835926848 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))", + "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))" + ], + "distribution": [ + 2, + 53 + ], + "quality": 0.9074868141619565 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable)) (args (list (t (list (t variable)))))))))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.9049826183187104 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args variable (args (list (h variable)))))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8957228443022562 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"dup\") (args variable)))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8957228443022562 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8957228443022562 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args (args (list (h variable))))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.880106470153706 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"dup\") (args (args variable))))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.880106470153706 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"conc\") (args variable (args variable))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8712586113449907 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8712586113449907 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop variable \"=\"))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8628302434186279 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8628302434186279 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args \"[]\"))))", + "(clause (compound (functor \"dup\") (args (args variable))) (binop \"=\" (list (t (list (t variable))))))" + ], + "distribution": [ + 6, + 60 + ], + "quality": 0.8581378927996048 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.851718483494776 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))" + ], + "distribution": [ + 16, + 116 + ], + "quality": 0.8504056912099205 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (args (list (t variable)))))) (compound (functor \"dup\") (args (args variable))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8385349971208302 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))" + ], + "distribution": [ + 20, + 117 + ], + "quality": 0.8258965557064576 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (compound (functor \"dup\") (args variable)))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8255156458958964 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (args (list (t (list (t variable)))))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8255156458958964 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable) (t variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8080943376484535 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t \"[]\")) (args variable)))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7870660531987647 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"dup\") (args variable)))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7870660531987647 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"dup\") (args variable))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7764400337069141 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"dup\") (args (args variable)))) (binop variable \"=\"))" + ], + "distribution": [ + 13, + 53 + ], + "quality": 0.7345604560948691 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))", + "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))" + ], + "distribution": [ + 12, + 50 + ], + "quality": 0.7336334876105481 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args (list (t variable))))) (compound (functor \"dup\") (args variable)))", + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))" + ], + "distribution": [ + 65, + 175 + ], + "quality": 0.7157343899492171 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args \"[]\" (args \"[]\")))))", + "(clause (binop \"=\" (list (h variable) (t (list (h variable))))))" + ], + "distribution": [ + 25, + 74 + ], + "quality": 0.7065553916027705 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"dup\") (args \"[]\"))))", + "(clause (head (compound (functor \"dup\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 28, + 56 + ], + "quality": 0.6107009286023725 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/lists/insert_3/bugs.json b/prolog/problems/lists/insert_3/bugs.json new file mode 100644 index 0000000..b863ff5 --- /dev/null +++ b/prolog/problems/lists/insert_3/bugs.json @@ -0,0 +1,669 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"insert\") (args variable (args \"[]\")))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args variable))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (compound (functor \"insert\") (args variable (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t variable)))) (args (list (t (list (t (list (t variable))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (h variable))))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable) (t \"[]\")))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))", + "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")))))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable) (t \"[]\")))))))", + "(clause (binop variable \"=\") (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (list (t \"[]\")))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (h variable))))))))))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)) (args (list (t (list (t variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t (list (h variable) (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t \"[]\"))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (t \"[]\"))))))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args variable (args variable))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args \"[]\" (args (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"insertF\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (head (compound (functor \"insert\") (args \"[]\"))))", + "(clause (head (compound (functor \"insertL\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insertL\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"insert\") (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insertL\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"insertL\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"insert\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"insertL\") (args (args \"[]\" (args (list (h variable))))))))", + "(clause (head (compound (functor \"insertL\") (args variable))) (compound (functor \"insertL\") (args variable)))", + "(clause (head (compound (functor \"insertL\") (args (args variable)))) (binop variable \"=\"))", + "(clause (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" variable))", + "(clause (compound (functor \"insertL\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"insert\") (args (args variable (args (list (t variable)))))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insertL\") (args (args variable))))", + "(clause (binop variable \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable) (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable) (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insertF\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (h variable) (t \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (binop \"=\" (list (t variable))))", + "(clause (binop variable \"=\" (list (t \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t (list (t \"[]\"))))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (t (list (h variable))))))))))))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"delete\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"delete\") (args variable)))", + "(clause (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (list (h variable)))))))", + "(clause (binop \"=\" (list (t (list (t variable))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (t \"[]\")))) (args (list (t variable))))))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"insert\") (args (args (args (args variable)))))) (compound (functor \"insert\") (args (args (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t \"[]\")) (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (binop \"=\" (list (t variable))) (binop \"=\" (list (t (list (t variable))))))", + "(clause (compound (functor \"insert\") (args (args \"[]\" (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (compound (functor \"insert\") (args (args \"[]\"))))", + "(clause (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"insert\") (args variable (args \"[]\"))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (compound (functor \"insertF\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (compound (functor \"insert\") (args (args \"[]\" (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (args variable))))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args variable))))))", + "(clause (compound (functor \"append\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (h variable))))))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t (list (t variable))))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"insertF\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"append\") (args (args (args variable)))))", + "(clause (compound (functor \"insertF\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))", + "(clause (compound (functor \"insertF\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"insertF\") (args (args (args variable))))))", + "(clause (compound (functor \"conc\") (args variable)) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args (list (h variable))))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 96, + 0 + ], + "quality": 0.9809983489905899 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 84, + 0 + ], + "quality": 0.9779557461869847 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))))" + ], + "distribution": [ + 64, + 0 + ], + "quality": 0.9701372216334027 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))))" + ], + "distribution": [ + 52, + 0 + ], + "quality": 0.9623158836715362 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"del\") (args (args variable))))" + ], + "distribution": [ + 1, + 78 + ], + "quality": 0.9585068382186356 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))))" + ], + "distribution": [ + 44, + 0 + ], + "quality": 0.9546866918174765 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 2, + 108 + ], + "quality": 0.9489425014747489 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 2, + 79 + ], + "quality": 0.9462265906785803 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9373562145752073 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 31, + 0 + ], + "quality": 0.9334733640178655 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))) (args (list (t (list (t (list (h variable))))))))))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9210026715389256 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args (list (h variable))))))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 25, + 0 + ], + "quality": 0.914160398310297 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t (list (h variable))))))))))" + ], + "distribution": [ + 38, + 1 + ], + "quality": 0.9137268661238094 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9057307439251511 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (list (h variable)))))" + ], + "distribution": [ + 21, + 0 + ], + "quality": 0.8952422262460376 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (binop \"=\" (list (t (list (h variable))))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8883865000593553 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args (list (t \"[]\"))))))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8838682912904711 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 18, + 0 + ], + "quality": 0.8761554549819403 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8673982968475626 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 17, + 0 + ], + "quality": 0.8673982968475626 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))" + ], + "distribution": [ + 13, + 111 + ], + "quality": 0.8622038337735494 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8444915571428488 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 15, + 0 + ], + "quality": 0.8444915571428488 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 17, + 110 + ], + "quality": 0.8396242375702132 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (t variable))))))))" + ], + "distribution": [ + 14, + 0 + ], + "quality": 0.8324450355202406 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8169111707967117 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\" (list (t variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8169111707967117 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"conc\") (args (args variable))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8169111707967117 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args (list (h variable)) (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 23, + 118 + ], + "quality": 0.8084559536708993 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.7782285881315864 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))" + ], + "distribution": [ + 2, + 23 + ], + "quality": 0.7672724265740091 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop \"=\" (list (t variable))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7530227654833378 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable)))) (compound (functor \"delete\") (args (args (args variable)))))" + ], + "distribution": [ + 10, + 0 + ], + "quality": 0.7530227654833378 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args variable (args (args (list (h variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args (list (t variable))))))) (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 34, + 114 + ], + "quality": 0.740004128093178 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))" + ], + "distribution": [ + 40, + 126 + ], + "quality": 0.7320278311098433 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t (list (h variable))))))))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop variable \"=\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"insert\") (args variable)) (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"insert\") (args (args (list (t (list (h variable)))))))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7148255487494682 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args (args variable (args (list (t variable))))))))", + "(clause (head (compound (functor \"insert\") (args (args (args variable))))) (binop variable \"=\"))" + ], + "distribution": [ + 7, + 29 + ], + "quality": 0.6741379300408554 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"conc\") (args (args variable))) (compound (functor \"conc\") (args (args (list (t variable))))))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.5886120313182593 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/lists/memb_2/bugs.json b/prolog/problems/lists/memb_2/bugs.json new file mode 100644 index 0000000..213f330 --- /dev/null +++ b/prolog/problems/lists/memb_2/bugs.json @@ -0,0 +1,419 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"=\"))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"memb\") (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (binop \"=\" variable))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (binop variable \"=\"))", + "(clause (head (compound (functor \"memb\") (args (args variable)))) (binop \"=\" variable))", + "(clause (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args variable)))))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"==\"))", + "(clause (head (compound (functor \"memb\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"memb\") (args variable (args \"[]\")))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"member\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"is\"))", + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"member\") (args variable))) (compound (functor \"member\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args (list (h variable))))))", + "(clause (compound (functor \"memb\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"member\") (args variable (args (list (h variable)))))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"=\" variable))", + "(clause (binop (list (t variable)) \"=\"))", + "(clause (head (compound (functor \"member\") (args (args (list (t variable)))))) (compound (functor \"member\") (args (args variable))))", + "(clause (head (compound (functor \"member\") (args (args (list (t variable)))))))", + "(clause (binop (list (t variable)) \"=\") (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"memb\") (args variable (args (list (h variable))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (binop \"==\" variable))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"member\") (args (args variable))))", + "(clause (binop (list (h variable)) \"=\"))", + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"==\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"==\" variable))", + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args (args (list (h variable))))))", + "(clause (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"\\==\" \"[]\"))", + "(clause (binop variable \"=\") (binop variable \"=\"))", + "(clause (binop \"\\==\" \"[]\"))", + "(clause (binop variable \"=\") (compound (functor \"memb\") (args variable)))", + "(clause (binop (list (h variable)) \"=\") (binop \"is\" variable))", + "(clause (binop variable \"\\==\") (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"is\") (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"\\==\"))", + "(clause (head (compound (functor \"memb\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))" + ], + "rules": [ + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 5, + 204 + ], + "quality": 0.9643056285818753 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))))" + ], + "distribution": [ + 57, + 1 + ], + "quality": 0.9460329767668465 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 14, + 211 + ], + "quality": 0.9263098442287214 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 23, + 0 + ], + "quality": 0.9128941758478384 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 20, + 217 + ], + "quality": 0.9042815604997515 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"==\"))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.899542908369537 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args variable)))))" + ], + "distribution": [ + 19, + 0 + ], + "quality": 0.8941585189962913 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 24, + 209 + ], + "quality": 0.8848214260437154 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8737724594285132 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))))" + ], + "distribution": [ + 34, + 225 + ], + "quality": 0.8585277155014358 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args variable (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 31, + 205 + ], + "quality": 0.8557817146312238 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"member\") (args (args (list (h variable)))))))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8456914738034811 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 13, + 0 + ], + "quality": 0.8456914738034811 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args (list (h variable))))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args (list (t variable))))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t (list (h variable)))))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"member\") (args variable (args (list (h variable)))))))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"member\") (args variable))) (compound (functor \"member\") (args variable)))" + ], + "distribution": [ + 12, + 0 + ], + "quality": 0.8334613960489493 + }, + { + "class": false, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 11, + 0 + ], + "quality": 0.8153596937336334 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (head (compound (functor \"memb\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 47, + 220 + ], + "quality": 0.8119686948654249 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.7783041821302139 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args (args (list (t variable)))))) (compound (functor \"memb\") (args (args variable))))", + "(clause (binop variable \"=\"))" + ], + "distribution": [ + 0, + 11 + ], + "quality": 0.7725109062352901 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))" + ], + "distribution": [ + 6, + 31 + ], + "quality": 0.7322928410118167 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (binop \"==\" variable))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7146224416391088 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args (args (list (h variable))))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.7146224416391088 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))", + "(clause (binop \"=\" (list (h variable))))" + ], + "distribution": [ + 20, + 60 + ], + "quality": 0.6840202801136779 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"memb\") (args (args variable))))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6752881577616756 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (binop variable \"=\"))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6752881577616756 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \"=\") (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 6, + 0 + ], + "quality": 0.6752881577616756 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"memb\") (args variable))) (compound (functor \"memb\") (args variable)))" + ], + "distribution": [ + 144, + 298 + ], + "quality": 0.6700881903331514 + }, + { + "class": true, + "condition": [ + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))" + ], + "distribution": [ + 13, + 32 + ], + "quality": 0.6122982869191883 + } + ] +} \ No newline at end of file diff --git a/prolog/problems/lists/permute_2/bugs.json b/prolog/problems/lists/permute_2/bugs.json new file mode 100644 index 0000000..9c2778c --- /dev/null +++ b/prolog/problems/lists/permute_2/bugs.json @@ -0,0 +1,452 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"permute\") (args \"[]\"))))", + "(clause (head (compound (functor \"permute\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"permute\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args variable)))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args variable))) (binop variable \"=\"))", + "(clause (head (compound (functor \"permute\") (args variable (args variable)))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"permute\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (t \"[]\"))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))))", + "(clause (compound (functor \"permute\") (args (args variable))))", + "(clause (compound (functor \"permute\") (args (args variable))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"permute\") (args (args variable))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args variable))))", + "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"permute\") (args (args variable))))", + "(clause (compound (functor \"del\") (args variable)) (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"permute\") (args variable)) (compound (functor \"insert\") (args (args variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"insert\") (args (args variable))))", + "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"permute\") (args variable)))", + "(clause (compound (functor \"insert\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"memb\") (args (args variable))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t \"[]\")) (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (t (list (h variable)))))))))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable)))) (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args \"[]\" (args variable)))))", + "(clause (compound (functor \"memb\") (args (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"insert\") (args (args variable))))", + "(clause (binop variable \"=\"))", + "(clause (compound (functor \"delete\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"delete\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"delete\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (h variable) (t (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\"))))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable) (t \"[]\"))))))))", + "(clause (compound (functor \"del\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (t \"[]\")) (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\")))) (args (list (t (list (h variable)))))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\")))) (args (list (h variable)))))))", + "(clause (compound (functor \"memb\") (args variable)) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args (args (list (h variable))))))", + "(clause (binop variable \"=\") (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args (list (h variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (binop variable \"=\") (binop \"=\" variable))", + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (compound (functor \"insert\") (args variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable)) (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (compound (functor \"insert\") (args variable)))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (t variable))))))) (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"conc\") (args variable)))", + "(clause (compound (functor \"memb\") (args variable)) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"insert\") (args (args variable (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"del\") (args (args (list (t variable))))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"del\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (binop \"=\" (list (t (list (h variable))))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (binop (list (t variable)) \"=\") (compound (functor \"permute\") (args variable)))", + "(clause (binop (list (h variable)) \"=\") (binop \"=\" (list (h variable))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args (list (t variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"ins\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (t variable)))))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"del\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"ins\") (args (args (args variable)))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (binop \"=\" (list (t variable))))", + "(clause (compound (functor \"del\") (args (args variable))) (compound (functor \"permute\") (args variable)))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"permute\") (args (list (h variable)))))", + "(clause (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"insert1\") (args (args (args variable))))) (binop variable \"=\"))", + "(clause (binop \"\\=\" variable) (compound (functor \"seperateFirst2\") (args variable)))", + "(clause (head (compound (functor \"insert\") (args variable))) (compound (functor \"insert\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args (list (t variable))))))", + "(clause (binop \"=\" (list (t (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (args variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable)) (args (list (t variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"permute\") (args (args (list (h variable))))))", + "(clause (compound (functor \"del\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"permute\") (args (list (t (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t (list (h variable)))))))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable) (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args variable)))", + "(clause (compound (functor \"insert\") (args (args (list (h variable))))))", + "(clause (head (compound (functor \"permute2\") (args \"[]\"))))", + "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (head (compound (functor \"insert\") (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args (args (args (list (h variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable))))))) (binop \"=\" (list (h variable))))", + "(clause (compound (functor \"conc\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (list (h variable)))))", + "(clause (head (binop variable \"=\")))", + "(clause (head (compound (functor \"permute2\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (t \"[]\")))) (args (list (t (list (t \"[]\")))))))))", + "(clause (compound (functor \"insert\") (args variable (args (list (h variable))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"conc\") (args (list (h variable)))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"permute\") (args (list (h variable))))) (compound (functor \"permute\") (args (list (t variable)))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable)) (args variable)))))", + "(clause (head (compound (functor \"permute2\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (h variable)))) (args (list (t (list (t \"[]\")))))))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t (list (h variable) (t \"[]\")))))))))", + "(clause (head (compound (functor \"permute\") (args (list (t (list (t variable))))))) (compound (functor \"insert\") (args (args variable))))", + "(clause (compound (functor \"insert\") (args (args (args variable)))) (binop variable \"=\"))", + "(clause (head (compound (functor \"permute\") (args (args (compound (functor \"insert\") (args (args (args variable)))))))))", + "(clause (compound (functor \"insert\") (args (args (args (list (t variable)))))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args (list (t variable)))))", + "(clause (compound (functor \"del\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"memb\") (args (args variable))))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (args variable)))))" + ], + "distribution": [ + 95, + 0 + ], + "quality": 0.9817038429772349 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 190, + 2 + ], + "quality": 0.9794084745917714 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args (args variable))))" + ], + "distribution": [ + 104, + 1 + ], + "quality": 0.9714418818841668 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"insert\") (args (args (args variable)))))" + ], + "distribution": [ + 48, + 0 + ], + "quality": 0.9588757057531605 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (list (h variable))))))" + ], + "distribution": [ + 47, + 0 + ], + "quality": 0.9578821829207189 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (list (t variable))))))" + ], + "distribution": [ + 39, + 0 + ], + "quality": 0.947298305452628 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"permute\") (args (args variable))))" + ], + "distribution": [ + 38, + 0 + ], + "quality": 0.9455670056323863 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 37, + 0 + ], + "quality": 0.9437215576522013 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"insert\") (args (args (args variable)))) (compound (functor \"permute\") (args (args variable))))" + ], + "distribution": [ + 35, + 0 + ], + "quality": 0.9396299620514391 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args variable))))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9350104617264203 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"insert\") (args (args variable))) (compound (functor \"permute\") (args (args variable))))" + ], + "distribution": [ + 33, + 0 + ], + "quality": 0.9350104617264203 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 8, + 133 + ], + "quality": 0.9332657919230357 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (list (h variable)) (args variable)))))" + ], + "distribution": [ + 29, + 0 + ], + "quality": 0.9232913557196254 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 28, + 0 + ], + "quality": 0.9213023067023905 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args \"[]\"))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args variable)))" + ], + "distribution": [ + 7, + 123 + ], + "quality": 0.9187239800583585 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (list (t \"[]\")) (args variable)))))" + ], + "distribution": [ + 27, + 0 + ], + "quality": 0.9173202964615395 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 26, + 0 + ], + "quality": 0.911839211889241 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args \"[]\"))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"insert\") (args (args variable))))" + ], + "distribution": [ + 12, + 139 + ], + "quality": 0.9114837140195694 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"permute\") (args variable)))" + ], + "distribution": [ + 24, + 0 + ], + "quality": 0.9035625911236866 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"delete\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))" + ], + "distribution": [ + 22, + 0 + ], + "quality": 0.8914631047764715 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args \"[]\"))))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))" + ], + "distribution": [ + 2, + 27 + ], + "quality": 0.7900995111489282 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args variable))) (compound (functor \"del\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args (list (t variable)))))) (compound (functor \"permute\") (args (args variable))))", + "(clause (head (compound (functor \"permute\") (args (args (list (h variable)))))) (compound (functor \"del\") (args variable)))", + "(clause (compound (functor \"del\") (args (args (args variable)))) (compound (functor \"permute\") (args variable)))" + ], + "distribution": [ + 3, + 31 + ], + "quality": 0.7888513731459508 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args \"[]\"))))", + "(clause (head (compound (functor \"permute\") (args (args variable)))) (compound (functor \"insert\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (compound (functor \"insert\") (args variable)))" + ], + "distribution": [ + 8, + 17 + ], + "quality": 0.4809085141607073 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"permute\") (args (list (t variable))))) (compound (functor \"permute\") (args variable)))", + "(clause (compound (functor \"permute\") (args (args variable))) (compound (functor \"del\") (args (args (args variable)))))" + ], + "distribution": [ + 0, + 5 + ], + "quality": 0.4468970492731071 + } + ] +} \ No newline at end of file -- cgit v1.2.1