1 Feb
2011
1 Feb
'11
7:47 a.m.
Just a few further remarks, - partition requires the import of Data.List - with an import of Data.Maybe, assign can be much shorter stated as assign (atom,value) formula = catMaybes (map (assignClause (atom,value)) formula)