# Packages
No description provided by the author
# Functions
Instrument0 is a higher order function that given a 0arg-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument1 is a higher order function that given a 1arg-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument2 is a higher order function that given a 2args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument3 is a higher order function that given a 3args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument4 is a higher order function that given a 4args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument5 is a higher order function that given a 5args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument6 is a higher order function that given a 6args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument7 is a higher order function that given a 7args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
Instrument8 is a higher order function that given a 8args-predicate and an invariant returns a new predicate that calls the invariant before calling the predicate.
New creates a new prolog.Interpreter with the specified options.
Register registers a well-known predicate in the interpreter with support for consumption measurement.
WithBootstrap configures the interpreter to compile the specified bootstrap script to serve as setup context.
WithFS configures the interpreter to use the specified file system.
WithPredicate configures the interpreter to register the specified predicate with the specified hook.
WithPredicates configures the interpreter to register the specified predicates.
WithUserOutputWriter configures the interpreter to use the specified writer for user output.
# Variables
RegistryNames is the list of the predicate names in the Registry.