Did you know ... | Search Documentation: |
![]() | prolog_jiti.pl -- Just In Time Indexing (JITI) utilities |
This module provides utilities to examine just-in-time indexes created by the system and can help diagnosing space and performance issues.
The columns use the following notation:
argument(s)
indexed:
A+B
is a multi-argument index on the arguments A and B.P:L
is a deep-index L on sub-argument P. For example,
1/2:2+3
is an index of the 2nd and 3rd argument of the
2nd argument of a compound on the first argument of the predicate.
This implies x
and y
in the head p(f(_,g(_,x,y)))
L
denotes that the index contains multiple compound
terms with the same name/arity that may be used to create
deep indexes. The deep indexes themselves are created
as just-in-time indexes.V
denotes the index is virtual, i.e., it has not yet
been materialized.-
.
Note: This predicate merely detects that some predicate is never
called with instantiated specific arguments during this run. The
user should verify whether the suggested -
arguments are correct
and typically complete the mode by changing ?
into +
(or -
)
where applicable. Currently, in SWI-Prolog, mode/1 declarations have
no effect on the semantics of the code. In particular, a predicate
that declares some argument as -
may be called with this argument
instantiated. This may change in the future.
The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.
The columns use the following notation:
argument(s)
indexed:
A+B
is a multi-argument index on the arguments A and B.P:L
is a deep-index L on sub-argument P. For example,
1/2:2+3
is an index of the 2nd and 3rd argument of the
2nd argument of a compound on the first argument of the predicate.
This implies x
and y
in the head p(f(_,g(_,x,y)))
L
denotes that the index contains multiple compound
terms with the same name/arity that may be used to create
deep indexes. The deep indexes themselves are created
as just-in-time indexes.V
denotes the index is virtual, i.e., it has not yet
been materialized.-
.
Note: This predicate merely detects that some predicate is never
called with instantiated specific arguments during this run. The
user should verify whether the suggested -
arguments are correct
and typically complete the mode by changing ?
into +
(or -
)
where applicable. Currently, in SWI-Prolog, mode/1 declarations have
no effect on the semantics of the code. In particular, a predicate
that declares some argument as -
may be called with this argument
instantiated. This may change in the future.