Overlay GHC Language

Execution is controlled by the following pragmas

@lower_priority ... lowers priority of the goal
@this_node ... execute at this (initiating) node
@other_node ... execute at other (non-initiating) node
@node_id('id') ... executed at the specified node
- xmpp://JabberID is available as ID
- pgp://PGPpublicKeyUserID, etc. will be available
@periodic(msec) ... execute the goal periodically

All pragmas except @lower_priority are extension by Overlay GHC, not from KL1 (multi-processor GHC), designed specifically for distributed systems.

To express a distributed program by placing a goal in a specified remote node using the above pragmas.

[Characteristics]

Program does not need to be priorly executed on the remote nodes except the language runtime
Communication channels can be (re-)configured dynamically by using shared variables