ports//lang/xsb/work/XSB/packages/xasp/intf_examples/lowlevel

:- 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.

syntax highlighted by Code2HTML, v. 0.9.1