XSB: C:/dev/sandbox/xsb_release/XSB/packages/xasp/intf_examples/lowlevel

00001 :- import smodelsInit/0, smodelsNumAtoms/1, smodelsAtomName/1 from xasppkg.
00002 :- import smodelsBeginBasicRule/0, smodelsAddHead/1 from xasppkg.
00003 :- import smodelsAddPosBody/1, smodelsAddNegBody/1 from xasppkg.
00004 :- import smodelsEndRule/0, smodelsCommitRules/0 from xasppkg.
00005 :- import smodelsPrintProgram/0, smodelsExistsModel/1 from xasppkg.
00006 :- import smodelsPrintAnswer/0, smodelsClose/0 from xasppkg.
00007

lowlevel_ex.H