class EvaluateFormulasCommand extends AbstractCommand {

	@Override
	public void writeCommand(final IPrologTermOutput pout) {
		pout.openTerm(PROLOG_COMMAND_NAME);
		pout.printAtomOrNumber(stateId);

		pout.openList();
		for (IEvalElement evalElement : evalElements) {
			printEvalTerm(pout, evalElement);
		}
		pout.closeList();

		pout.printVariable(EVALUATE_RESULT_VARIABLE);
		pout.closeTerm();
	}

	public  EvaluateFormulasCommand(final List<IEvalElement> evalElements, final String stateId);

}