Clause
data Clause a
makeClause
empty
literals
numberOfLiterals
null
isUnit
isTautology
containsLiteral
containsVariable
deleteLiteral
example1
example2
example3
example4
example5
example6
example7
example8
example9