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

by H J Levesque, R Reiter, Y Lespérance, F Lin, R B Scherl
Venue:Journal of Logic Programming