Golog: language.

Golog is a logic-based high-level programming language for defining complex actions using a repertoire of user specified actions.

1. Sequence: Do action , followed by action .

2. Test actions: c? Test the truth value of expression c in the current situation.

3. While loops:

4. Conditionals:

5. Nondeterministic action choice:

6. Nondeterministic choice of arguments: . Nondeterministically pick a value for x, and for that value of x, do the action .

7. Nondeterministic finite choice of action arguments: . Choose an element x from the finite set and for that x do the program .

8. Procedures, including recursion.