TY - RPRT TI - Portability of Prolog programs: theory and case-studies AU - Jan Wielemaker AU - VĂ­tor Santos Costa PY - 2010 UR - https://arxiv.org/abs/1009.3796 ID - 1009.3796 ER -