@Override
  public List<Move> getLegalMoves(MachineState state, Role role) throws MoveDefinitionException {
    Set<GdlSentence> results =
        prover.askAll(ProverQueryBuilder.getLegalQuery(role), ProverQueryBuilder.getContext(state));

    if (results.size() == 0) {
      throw new MoveDefinitionException(state, role);
    }

    return new ProverResultParser().toMoves(results);
  }
  @Override
  public MachineState getNextState(MachineState state, List<Move> moves)
      throws TransitionDefinitionException {
    Set<GdlSentence> results =
        prover.askAll(
            ProverQueryBuilder.getNextQuery(),
            ProverQueryBuilder.getContext(state, getRoles(), moves));

    for (GdlSentence sentence : results) {
      if (!sentence.isGround()) {
        throw new TransitionDefinitionException(state, moves);
      }
    }

    return new ProverResultParser().toState(results);
  }
  @Override
  public int getGoal(MachineState state, Role role) throws GoalDefinitionException {
    Set<GdlSentence> results =
        prover.askAll(ProverQueryBuilder.getGoalQuery(role), ProverQueryBuilder.getContext(state));

    if (results.size() != 1) {
      GamerLogger.logError(
          "StateMachine",
          "Got goal results of size: " + results.size() + " when expecting size one.");
      throw new GoalDefinitionException(state, role);
    }

    try {
      GdlRelation relation = (GdlRelation) results.iterator().next();
      GdlConstant constant = (GdlConstant) relation.get(1);

      return Integer.parseInt(constant.toString());
    } catch (Exception e) {
      throw new GoalDefinitionException(state, role);
    }
  }
 private MachineState computeInitialState() {
   Set<GdlSentence> results =
       prover.askAll(ProverQueryBuilder.getInitQuery(), new HashSet<GdlSentence>());
   return new ProverResultParser().toState(results);
 }