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)