by adding special macro-actions that
expand into contructs, that have logical equivalents.
Primitive
Test
Sequence
Nondeterministic choice
Nondeterministic while loops
Recursion
Golog programs are essentially proofs of SitCalc plans.
Golog is expanded to handle concurency by Conlog.
Then OWL-S has been used to describe Web Services as
actions and produce BPEL workflows. "Adapting Golog for Composition of
Semantic Web Services"
