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

by H Levesque, R Reiter, Y Lesperance, F Lin, R Scherl
Venue:Journal of Logic Programming