SWI-Prolog Did You Know Did you know? you can read ODF spreadsheets Search Documentation:
Predicate incr_is_invalid/1