GOLOG (alGOL in LOGic) [32] ist eine auf dem in 3.1 beschriebenen Situationskalkül basierende Programmiersprache. Zusätzlich zu der Möglichkeit, komplexe Verhalten in einer dynamischen Welt zu modellieren, werden Programmierkonstrukte (Makros) wie Rekursionen, deterministische Verzweigungen oder Prozeduren zur Verfügung gestellt. Der Vorteil dabei ist, daß durch vordefinierte Prozeduren bereits Teillösungen eines Problems vordefiniert werden können und im Anwendungsfall nicht aufwendig geplant, also aus den einzelnen Aktionen zusammengesetzt, werden müssen.