Text this: Declarative agent languages and technologies IV :