Did you know ... Search Documentation:
Predicate evaluate/3
 evaluate(Goal, Module, OTerm) is nondet[private]