clausifier

Noun

 * 1)  A method, algorithm or program that converts logic statements into standard clauses.