category
listing
Listing predicates.
Availability:
logtalk_load(listing(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2024-01-26
Compilation flags:
staticDependencies:
(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:
staticMode and number of proofs:
listing - onelisting/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:
staticTemplate:
listing(Spec)Mode and number of proofs:
listing(+predicate_indicator) - one_or_errorlisting(+non_terminal_indicator) - one_or_errorlisting(+callable) - one_or_errorExceptions:
Spec is not ground:instantiation_errorSpec 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:
staticTemplate:
portray_clause(Clause)Mode and number of proofs:
portray_clause(+clause) - oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)