category
tutor_explanations
This category provides explanations and suggestions to selected compiler and developer tool warning and error messages.
Availability:
logtalk_load(tutor(loader))Author: Paulo Moura
Version: 0:87:0
Date: 2026-03-30
Compilation flags:
staticUses:
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
explain//1
Generates an explanation for a message.
Compilation flags:
staticTemplate:
explain(Message)Mode and number of proofs:
explain(@callable) - zero_or_oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)