Before revision: History The concept of situation calculus on which the GOLOG programming language is based was first given by John McCarthy in 1963
After revision: History The concept of situation calculus on which the GOLOG programming language is based was first given by John McCarthy in 1963.