SWI-Prolog
predicate