A Logic Programming Language for Multi-agent Systems