AOL: a logic of acting, sensing, knowing, and only knowing
GOLOG: A Logic Programming Language for Dynamic Domains