Module clause
splr
Clause structure
A representation of 'clause'
Clause database
'watch literal' structure