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

Implements:

public expanding

Uses:

gensym
list
logtalk

Remarks:

Usage: Compile source files with calls to the meta object meta-predicates using the compiler option hook(meta_compiler).

Inherited public predicates:

goal_expansion/2 term_expansion/2

Public predicates 

(no local declarations; see entity ancestors if any)

(no local declarations; see entity ancestors if any)

Table of generated auxiliary predicates.

Compilation flags:

dynamic

Template:

generated_predicate_(Predicate)

Mode and number of proofs:

generated_predicate_(?predicate_indicator) - zero_or_more

(none)