:- import smodelsInit/0, smodelsNumAtoms/1, smodelsAtomName/1 from smodels.
:- import smodelsBeginBasicRule/0, smodelsAddHead/1 from smodels.
:- import smodelsAddPosBody/1, smodelsAddNegBody/1 from smodels.
:- import smodelsEndRule/0, smodelsCommitRules/0 from smodels.
:- import smodelsPrintProgram/0, smodelsExistsModel/1 from smodels.
:- import smodelsPrintAnswer/0, smodelsClose/0 from smodels.

