Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach