:- import smrInit/1, smrAddBasicRule/3, smrCommitProgram/0 from smodelsops.
:- import smComputeModel/0, smrExamineModel/2, smEnd/0 from smodelsops.
:- import smodelsPrintProgram/0 from smodels.


rawex_all :-
	smrInit(8),
	smrAddBasicRule(1,[],[]),
	smrAddBasicRule(2,[],[]),
	smrAddBasicRule(3,[],[]),
	smrAddBasicRule(4,[1],[5]),
	smrAddBasicRule(5,[1],[4]),
	smrCommitProgram,
	write('All Solutions: '),nl,
	(   smComputeModel,
	    smrExamineModel(8,Model),
	    write(Model),nl,
	    fail
	;
	    smEnd  ).

rawex_4 :-
	smrInit(8),
	smrAddBasicRule(1,[],[]),
	smrAddBasicRule(2,[],[]),
	smrAddBasicRule(3,[],[]),
	smrAddBasicRule(4,[1],[5]),
	smrAddBasicRule(5,[1],[4]),
	smrSetPosCompute(4),
	smrCommitProgram,
	write('All Solutions with 4: '),nl,
	(   smComputeModel,
	    smrExamineModel(8,Model),
	    write(Model),nl,
	    fail
	;
	    smEnd  ).

rawex_not4 :-
	smrInit(8),
	smrAddBasicRule(1,[],[]),
	smrAddBasicRule(2,[],[]),
	smrAddBasicRule(3,[],[]),
	smrAddBasicRule(4,[1],[5]),
	smrAddBasicRule(5,[1],[4]),
	smrSetNegCompute(4),
	smrCommitProgram,
	write('All Solutions without 4: '),nl,
	(   smComputeModel,
	    smrExamineModel(8,Model),
	    write(Model),nl,
	    fail
	;
	    smEnd  ).

end_of_file.