State Representattion

In the knowledge base, we want to be able to keep track of the following:

• Normalized FOL sentences and its ``module'' association.
• Skolem variable assignment counter.
• A list of modules.

$$\begin{eqnarray*} type\, State & = & ([(ImplicativeNormalForm,Int)],SkolemCount,... ...e\, SkolemCount & = & Int\\ type\, FolModule & = & (String,Int) \end{eqnarray*}$$