An Expressive Language and Efficient Execution System for Software Agents