Enviar por SMS: Extended logic programming applied to the specification of multi-agent systems and their computing environments