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.