Did you know? SWI-Prolog has an active mailing listSearch Documentation:
SWI-Prolog owl logoPredicate term_expansion/2