Logic-based decision support for strategic environmental assessment