A0[2]
Yoav Shoham, Stanford, under development
A0 is a first attempt at a programming language for the paradigm of Agent-Oriented Programming.