Did you know? you can read ODF spreadsheetsSearch Documentation:
SWI-Prolog owl logoPredicate all_distinct/1