Enabling operators at run-time

Author(s): Daniel Cabeza.

This library package allows the use of the statically defined operators of a module for the reading performed at run-time by the program that uses the module. Simply by using this package the operator definitions appearing in the module are enabled during the execution of the program.

Use with care: this is a non-modular extension. It may alter the behaviour of other modules (performing read/write operations) not using the package. This may be improved in future versions of the package (see bugs entries below).

Usage and interface

Library usage:
:- use_package(runtime_ops). or :- module(...,...,[runtime_ops]).
Implicit imports:
- System library modules:
  operators.
- Packages:
  prelude, initial, condcomp, assertions, assertions/assertions_basic.