Multidimensional Predicates for Prolog. - Günter Khyo (CoRR, 2016)