Did you know? condition is an alternative to exceptionsSearch Documentation:
SWI-Prolog owl logoPredicate =../2