{On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework}