By enabling exhaustive tracing the programmer will be informed of every goal their program attempts to resolve.
trace - enables exhaustive tracing.By enabling exhaustive tracing the programmer will be informed of every goal their program attempts to resolve.