|Did you know ...||Search Documentation:|
generate_built_in(Name/Arity) :- predicate_property(system:Head, built_in), functor(Head, Name, Arity), \+ sub_atom(Name, 0, _, _, $). % discard reserved names
Property is one of:
undefined, this property is not generated.
line_count. Note that this reports the file of the first clause of a predicate. A more robust interface can be achieved using nth_clause/3 and clause_property/2.
failin the target module.
Index is a term
hash(Buckets, Speedup, Size, IsList).
Buckets is the number of buckets in the hash and Speedup
is the expected speedup relative to trying all clauses linearly, Size
is the size of the index in memory in bytes and finally, IsList
indicates that a list is created for all clauses with the same key. This
is used to create deep indexes for the arguments of compound
fileproperty above, notably the reference to clause_property/2.
true(i.e., a fact). Fails for foreign predicates. This property is used to avoid analysing predicates with only facts in
dynamic, i.e., for each defined predicate, either
dynamicis true but never both.
tabled(?Flag)property can be used to obtain details about how the predicate is tabled.
subsumptive. In addition, tabled predicates may have one or more the the following flags
tabled property to enumerate all tabled
meta_predicate(Head)is also provided. See chapter 6 for details.
visibleis provided explicitly. If the property is left unbound, only defined predicates are enumerated.