vector predicates for SWI-Prolog