Declarative Agent Languages and Technologies