Remote Agent: To Boldly Go Where No AI System Has Gone Before
GOLOG: A Logic Programming Language for Dynamic Domains