TY - RPRT TI - For-loops in Logic Programming AU - Keehang Kwon PY - 2016 UR - https://arxiv.org/abs/1606.04240 ID - 1606.04240 ER -