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:
static
Uses:
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

explain//1

Generates an explanation for a message.

Compilation flags:
static
Template:
explain(Message)
Mode and number of proofs:
explain(@callable) - zero_or_one

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)