Did you know ... Search Documentation:
Predicate exp_diff/4

Sorry, No manual entry for exp_diff/4