diff options
Diffstat (limited to 'prolog/problems/lists_advanced/max_2')
| -rw-r--r-- | prolog/problems/lists_advanced/max_2/bugs.json | 467 |
1 files changed, 467 insertions, 0 deletions
diff --git a/prolog/problems/lists_advanced/max_2/bugs.json b/prolog/problems/lists_advanced/max_2/bugs.json new file mode 100644 index 0000000..2fadeb9 --- /dev/null +++ b/prolog/problems/lists_advanced/max_2/bugs.json @@ -0,0 +1,467 @@ +{ + "patterns": [ + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (compound (functor \"max\") (args variable)))", + "(clause (head (compound (functor \"max\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \"is\"))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \"=\"))", + "(clause (binop \">\" variable))", + "(clause (binop variable \"=\"))", + "(clause (binop variable \"is\"))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (compound (functor \"max\") (args (args variable))))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \"=\" variable))", + "(clause (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \"is\" variable))", + "(clause (binop \">=\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"is\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop \"=\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">\" variable))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \">=\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"max\") (args variable))) (binop variable \"=\"))", + "(clause (binop variable \"<\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \">\" variable))", + "(clause (binop variable \">\") (binop \"=\" variable))", + "(clause (binop variable \">=\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=<\" variable))", + "(clause (binop variable \">\") (binop \"is\" variable))", + "(clause (compound (functor \"max\") (args (args variable))))", + "(clause (binop variable \">=\") (binop \"=\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \">=\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"<\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"<\" variable))", + "(clause (binop variable \">=\") (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \"<\"))", + "(clause (binop \"<\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \"<\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \">=\"))", + "(clause (binop \"=<\" variable) (binop \"=\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args (list (t (list (t variable))))))) (compound (functor \"max\") (args (list (t variable)))))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))", + "(clause (binop \"=\" (list (t variable))) (compound (functor \"max\") (args variable)))", + "(clause (binop \"<\" variable))", + "(clause (head (compound (functor \"max\") (args (list (h variable) (t \"[]\"))))))", + "(clause (head (compound (functor \"max\") (args (list (t \"[]\")) (args variable)))))", + "(clause (head (compound (functor \"max\") (args (list (t \"[]\"))))))", + "(clause (binop \"<\" variable) (binop \"=\" variable))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \"<\" variable))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \">=\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop \"=\" variable))", + "(clause (binop variable \"=\" \"[]\"))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (binop \"=\" \"[]\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"=<\"))", + "(clause (head (compound (functor \"max\") (args \"[]\"))))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (binop \">\" variable))", + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (head (compound (functor \"max\") (args (args variable)))))", + "(clause (binop variable \">\") (compound (functor \"max\") (args (list (h variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \"<\" variable))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \">\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"is\"))", + "(clause (binop \"=\" (list (h variable))))", + "(clause (binop \"=\" (list (t variable))) (binop variable \"=\"))", + "(clause (binop variable \"=<\"))", + "(clause (compound (functor \"max\") (args variable)))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (t variable))))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \">=\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop variable \"<\"))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))", + "(clause (binop \"=<\" variable))", + "(clause (compound (functor \"max\") (args (list (h variable)))))", + "(clause (compound (functor \"max\") (args (list (t variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop variable \">=\"))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (binop \"=<\" variable))", + "(clause (binop \"=\" (list (h variable))) (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (args \"[]\")))))", + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (binop variable \"=\"))", + "(clause (binop variable \">=\") (compound (functor \"max\") (args (list (h variable)))))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (compound (functor \"max\") (args (args variable))))", + "(clause (binop variable \">\") (compound (functor \"max\") (args (args variable))))", + "(clause (binop \">\" variable) (binop variable \"is\"))", + "(clause (binop \"\\==\" \"[]\"))", + "(clause (binop \"=<\" variable) (compound (functor \"max\") (args (list (h variable)))))", + "(clause (head (compound (functor \"max\") (args \"[]\" (args \"[]\")))))", + "(clause (head (compound (functor \"max\") (args (list (t variable))))))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (compound (functor \"max\") (args (args (args variable)))))", + "(clause (binop \"=\" (list (h variable))) (binop \">=\" variable))", + "(clause (head (compound (functor \"max\") (args \"[]\" (args variable)))))", + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (binop \"=\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"=\"))", + "(clause (binop \">=\" variable) (binop variable \"is\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (compound (functor \"max\") (args variable)))", + "(clause (head (compound (functor \"max2\") (args (args (args variable))))) (binop variable \">=\"))", + "(clause (compound (functor \"max\") (args variable)) (binop \"=\" variable))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (binop variable \">=\"))", + "(clause (binop \">\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args (args \"0\")))))", + "(clause (head (compound (functor \"max\") (args (list (t (list (t variable))))))) (compound (functor \"min\") (args (list (t variable)))))", + "(clause (compound (functor \"min\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (binop variable \">\"))", + "(clause (binop \">=\" variable) (binop \"is\" variable))", + "(clause (binop variable \"\\==\" \"[]\"))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (binop \">=\" variable))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (compound (functor \"max2\") (args (args (args variable)))))", + "(clause (head (compound (functor \"max\") (args (args (args variable))))) (compound (functor \"max\") (args (args (args variable)))))", + "(clause (head (compound (functor \"max\") (args (args variable (args variable))))))", + "(clause (head (compound (functor \"max\") (args (list (t (list (h variable))))))) (binop \"<\" variable))", + "(clause (head (compound (functor \"max\") (args \"[]\" (args \"0\")))))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (compound (functor \"min\") (args (list (h variable)))))", + "(clause (head (compound (functor \"max\") (args variable))))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop \"=\" variable))", + "(clause (head (compound (functor \"max2\") (args variable))) (binop variable \">=\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable)) (args (list (h variable)))))))", + "(clause (binop \">=\" variable) (binop variable \"=\"))" + ], + "rules": [ + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"max\") (args (args variable)))))" + ], + "distribution": [ + 20, + 0 + ], + "quality": 0.8900656084454792 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (h variable)) (args variable)))))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=<\" variable))" + ], + "distribution": [ + 2, + 48 + ], + "quality": 0.8841350678520971 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=<\" variable))" + ], + "distribution": [ + 3, + 50 + ], + "quality": 0.875784451606412 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=<\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">\" variable))" + ], + "distribution": [ + 4, + 52 + ], + "quality": 0.8705795807504655 + }, + { + "class": false, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"is\"))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8585357519581691 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (compound (functor \"min\") (args variable)))" + ], + "distribution": [ + 16, + 0 + ], + "quality": 0.8585357519581691 + }, + { + "class": true, + "condition": [ + "(clause (binop \"is\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=<\" variable))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))" + ], + "distribution": [ + 1, + 26 + ], + "quality": 0.8274606789340101 + }, + { + "class": true, + "condition": [ + "(clause (binop variable \">\"))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop variable \"=<\"))", + "(clause (binop \">\" variable))" + ], + "distribution": [ + 6, + 51 + ], + "quality": 0.8227208017431313 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \">=\"))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"<\"))" + ], + "distribution": [ + 2, + 28 + ], + "quality": 0.8201708647010837 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=<\" variable))" + ], + "distribution": [ + 10, + 61 + ], + "quality": 0.8188104054390486 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"is\" variable))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))" + ], + "distribution": [ + 2, + 30 + ], + "quality": 0.8157774041483552 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \">=\" variable))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"<\" variable))" + ], + "distribution": [ + 2, + 27 + ], + "quality": 0.7912746669823468 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))", + "(clause (binop variable \">\") (binop \"is\" variable))" + ], + "distribution": [ + 3, + 31 + ], + "quality": 0.788453996743897 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (compound (functor \"max\") (args variable)))", + "(clause (binop \"=<\" variable) (binop \"=\" variable))", + "(clause (head (compound (functor \"max\") (args (list (h variable))))) (binop \"=\" variable))" + ], + "distribution": [ + 4, + 34 + ], + "quality": 0.780182415861194 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"=<\" variable) (binop \"is\" variable))" + ], + "distribution": [ + 5, + 35 + ], + "quality": 0.7789205356676925 + }, + { + "class": true, + "condition": [ + "(clause (binop variable \">=\") (binop \"is\" variable))", + "(clause (binop \"<\" variable) (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 3, + 29 + ], + "quality": 0.7718149911228794 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=\" variable))", + "(clause (head (compound (functor \"max\") (args (list (h variable) (t \"[]\"))))))" + ], + "distribution": [ + 0, + 13 + ], + "quality": 0.764687469566378 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop \"is\" variable))", + "(clause (binop variable \">=\") (binop \"is\" variable))" + ], + "distribution": [ + 4, + 32 + ], + "quality": 0.7646593128299235 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop \"is\" variable))", + "(clause (binop variable \">=\") (binop \"is\" variable))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 6, + 38 + ], + "quality": 0.7569319577338168 + }, + { + "class": true, + "condition": [ + "(clause (binop variable \">=\") (compound (functor \"max\") (args (list (h variable)))))" + ], + "distribution": [ + 0, + 9 + ], + "quality": 0.7506097250336605 + }, + { + "class": false, + "condition": [ + "(clause (binop \">\" variable) (binop variable \"is\"))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.734002499222176 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"max\") (args (args variable)))) (compound (functor \"min\") (args (args variable))))" + ], + "distribution": [ + 9, + 0 + ], + "quality": 0.734002499222176 + }, + { + "class": true, + "condition": [ + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \">=\"))", + "(clause (head (compound (functor \"max\") (args (args variable)))) (binop variable \"is\"))" + ], + "distribution": [ + 3, + 22 + ], + "quality": 0.7185373527540856 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (h variable)) (args variable)))))", + "(clause (compound (functor \"max\") (args (args variable))) (binop \"=\" variable))", + "(clause (binop variable \">=\"))" + ], + "distribution": [ + 1, + 17 + ], + "quality": 0.7069536551156186 + }, + { + "class": true, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (compound (functor \"max\") (args variable)))", + "(clause (compound (functor \"max\") (args (args variable))) (binop variable \"=<\"))" + ], + "distribution": [ + 2, + 16 + ], + "quality": 0.6580039730544098 + }, + { + "class": false, + "condition": [ + "(clause (head (compound (functor \"max\") (args (list (t variable))))) (binop \"=\" variable))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6541003807133517 + }, + { + "class": false, + "condition": [ + "(clause (binop variable \">\") (compound (functor \"max\") (args (args variable))))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6541003807133517 + }, + { + "class": false, + "condition": [ + "(clause (binop \">=\" variable) (binop variable \"is\"))" + ], + "distribution": [ + 7, + 0 + ], + "quality": 0.6541003807133517 + } + ] +}
\ No newline at end of file |