News: [SWIPL] Ann: SWI-Prolog 7.1.9Search Documentation:
SWI-Prolog owl logoPredicate term_variables/2