Efficiently Implementing GOLOG with Answer Set Programming