Proper.Clause

data Atom a

atom

negation

lit

nLit

literal

type Clause c

clause

concatClause

assignTruthVal