Golog: A logic programming language for dynamic domains (1997)

by Hector J Levesque, Raymond Reiter, Yves Lesprance, Fangzhen Lin, Richard B Scherl
Venue:Journal of Logic Programming