TY - RPRT TI - Towards Interactive Logic Programming AU - Keehang Kwon AU - Mi-Young Park PY - 2015 UR - https://arxiv.org/abs/1211.6535 ID - 1211.6535 ER -