TY - RPRT TI - The Semantics of Metapropramming in Prolog AU - David S. Warren PY - 2024 UR - https://arxiv.org/abs/2408.07652 ID - 2408.07652 ER -