I detta dokument föreslås ett nytt logiskt programmeringsspråk kallat GOLOG, vars tolk automatiskt upprätthåller en explicit representation av den dynamiska värld som modelleras, på grundval av användaren levererade axiom om förutsättningarna och eekterna av handlingar och det ursprungliga tillståndet i världen. Detta gör det möjligt för program att resonera om tillståndet i världen och överväga eekterna av olika möjliga handlingsvägar innan de förbinder sig till ett visst beteende. net eekten är att program kan skrivas på en mycket högre abstraktionsnivå än vad som vanligtvis är möjligt. Språket verkar väl lämpa sig för tillämpningar i hög nivå kontroll av robotar och industriella processer, intelligenta mjukvaruagenter, diskret händelsesimulering, etc. Den bygger på en formell handlingsteori som beskrivs i en utvidgad version av situationskalkylen. En prototypimplementering i Prolog har tagits fram.
Som ett genomförandeverktyg byggt över SC, GOLOG logik programmeringsspråk har utvecklats REF.
GOLOG: A Logic Programming Language for Dynamic Domains
{'venue': 'Journal of Logic Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}