TY  - RPRT
TI  - MaudeTypedLog: A Typed Interpreter for Prolog in Maude
AU  - Enrique Gallifa-Tronch
AU  - João Barbosa
AU  - Santiago Escobar
PY  - 2026
DO  - 10.4204/eptcs.449.7
UR  - https://arxiv.org/abs/2607.20184
ID  - 2607.20184
ER  -