Noun
clausifier (plural clausifiers) (logic) A method, algorithm or program that converts logic statements into standard clauses.