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