prolog_explain:explain/2

Availability::- use_module(library(explain)).(can be autoloaded)

[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)).