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