Next:Notifications, Previous:Running Pedro, Up:Top
In this section we describe the syntax of the Prolog terms that are used for both subscriptions and notifications. The syntax we use is standard Prolog syntax with a cut-down set of the built-in prefix and infix operators.