Did you know ... Search Documentation:
Predicate :-/2

Sorry, No manual entry for (:-)/2