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