BOOM-FS Extensibility: Monitoring and Debugging

Rules are evaluated when appropriate tuples apear.

A special rule with a special head "die" stops the program. It is useful for debugging as it allows to stop a program always when some condition is met (assertion evaluated on every change).

It is also possible to record an execution of the system, by adding appropriate rules.