Golog

Kapcsolódó fogalmak: 
logikai programozás
Rövid szöveges bemutatás: 
A beágyazott rendszereknek, robotoknak gyakran igen komplex környezetben kell működniük, speciális elvárásokkal. Ezen elvárt viselkedési mechanizmusok leírása gyakran túlságosan is bonyolult az elterjedt hardware programozási nyelvekkel. A Golog egy logikai programozási nyelv, melynek célja az ilyen platformok kiépítésének segítése. A nyelv alapvetően cselekvések és összetett cselekvéses, tervek leírására alkalmas, melyet a rendszer a megfelelő időpontban végre tud hajtani, amikor az általa érzékelt világ a megfelelő állapotban van. A nyelvet később kiterjesztették olyan formán, hogy képes legyen parallel cselekvések és sztochasztikus környezetek kezelésére.