Did you know? M-/ does autocomplete in pceEmacsSearch Documentation:
SWI-Prolog owl logoPredicate display/1