On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework