Did you know ... Search Documentation:
Predicate in/1
 in(:Goal)[private]
As call/1, but fails silently if there is no predicate that implements Goal.