Did you know ... Search Documentation:
Predicate variable_value/3