Next: , Previous: Running Pedro, Up: Top


3 Syntax

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.