category

listing

Listing predicates.

Availability:
logtalk_load(listing(loader))
Author: Paulo Moura
Version: 1:0:0
Date: 2024-01-26
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

listing/0

Lists all clauses of all visible dynamic predicates to the current output stream.

Compilation flags:
static
Mode and number of proofs:
listing - one

listing/1

Lists all clauses of a visible dynamic predicate or non-terminal to the current output stream. When the argument is a clause head, lists all matching clauses.

Compilation flags:
static
Template:
listing(Spec)
Mode and number of proofs:
listing(+predicate_indicator) - one_or_error
listing(+non_terminal_indicator) - one_or_error
listing(+callable) - one_or_error
Exceptions:
Spec is not ground:
instantiation_error
Spec is ground but not a valid predicate indicator:
type_error(predicate_indicator,Spec)
Spec is ground but not a valid non-terminal indicator:
type_error(non_terminal_indicator,Spec)
Spec is a predicate indicator but not a visible predicate:
existence_error(predicate,Spec)
Spec is a non-terminal indicator but not a visible non-terminal:
existence_error(non_terminal,Spec)
Spec is a callable term with a Functor/Arity indicator but not a visible predicate:
existence_error(predicate,Functor/Arity)
Spec is a predicate indicator of a visible predicate but not a dynamic predicate:
permission_error(access,predicate,Spec)
Spec is a non-terminal indicator of a visible non-terminal but not a dynamic non-terminal:
permission_error(access,non_terminal,Spec)
Spec is a callable term for a visible predicate with a Functor/Arity indicator but not a dynamic predicate:
permission_error(access,predicate,Functor/Arity)

portray_clause/1

Pretty prints a clause to the current output stream.

Compilation flags:
static
Template:
portray_clause(Clause)
Mode and number of proofs:
portray_clause(+clause) - one

Protected predicates

(none)

Private predicates

(none)

Operators

(none)