Home /Research /GOLOG: A logic programming language for dynamic domains
OTHER

GOLOG: A logic programming language for dynamic domains

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

Year
1997
Citations
1,039

Keywords

Computer scienceProgramming languageAxiomPrologLogic programmingInterpreterAbstractionEquational logicState (computer science)Event calculus

Related papers

Browse all OTHER papers