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