Did you know? don't use format to print errorsSearch Documentation:
SWI-Prolog owl logoPredicate compare/3