TY - RPRT TI - Multidimensional Predicates for Prolog AU - Günter Khyo PY - 2016 UR - https://arxiv.org/abs/1603.06266 ID - 1603.06266 ER -