% This LaTeX document was generated using the LaTeX backend of PlDoc, % The SWI-Prolog documentation system \begin{summarylist}{ll} \predicatesummary{explain}{1}{Give an explanation on Term.} \predicatesummary{explain}{2}{True when Explanation is an explanation of Term.} \end{summarylist}