Did you know? you can deploy to dotcloudSearch Documentation:
SWI-Prolog owl logoPredicate all_distinct/1