TY - RPRT TI - Towards an Efficient Prolog System by Code Introspection AU - George Souza Oliveira AU - Anderson Faustino da Silva PY - 2014 UR - https://arxiv.org/abs/1405.2564 ID - 1405.2564 ER -