GOAL Agent Programming Language