Golog
Extension of
pGOLOG (2952)