Golog
Extension of
ccGolog (2949)
Plan language for robotics