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

Sorry, No manual entry for at_con/3