The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies