Did you know? SWI-Prolog has an active mailing listSearch Documentation:
SWI-Prolog owl logoPredicate all_distinct/1