object
meta_compiler
Compiler for the meta
object meta-predicates. Generates auxiliary predicates in order to avoid meta-call overheads.
Author: Paulo Moura
Version: 0:13:1
Date: 2022-05-06
Compilation flags:
static, context_switching_calls
Remarks:
Usage: Compile source files with calls to the
meta
object meta-predicates using the compiler optionhook(meta_compiler)
.
Inherited public predicates:
Public predicates
(no local declarations; see entity ancestors if any)
Protected predicates
(no local declarations; see entity ancestors if any)
Private predicates
generated_predicate_/1
Table of generated auxiliary predicates.
Compilation flags:
dynamic
Template:
generated_predicate_(Predicate)
Mode and number of proofs:
generated_predicate_(?predicate_indicator)
- zero_or_more
Operators
(none)
See also