2.7.2 library(explain): Describe Prolog Terms
All Application Manual Name SummaryHelp

Availability::- use_module(library(explain)).(can be autoloaded)
Source[nondet]explain(@Term, -Explanation)
True when Explanation is an explanation of Term. The explaination is a list of elements that is printed using print_message(information, explain(Explanation)).