GOLOG: A Logic Programming Language for Dynamic Domains
some philosophical problems from the standpoint of arti cial intelligence .