Did you know? there's a simplex librarySearch Documentation:
SWI-Prolog owl logoPredicate =/2