La programación lógico-funcional promete una forma de expresar programas en un nivel de abstracción muy alto, pero da lugar a la pregunta de cómo ejecutar tales programas a bajo nivel, y de qué grado de eficiencia puede lograrse. En este trabajo abordamos estas preguntas desde la perspectiva de las máquinas abstractas. Partiendo de una formalización previa de la programación lógico-funcional como lenguaje fuente, construimos un par de máquinas abstractas que pueden servir como base para una implementación. Proponemos una máquina inicial y mostramos su correctitud con respecto al cálculo. Discutimos el desiderátum de evaluación compartida entre ramas no determinísticas, y proponemos un diseño alternativo que lo resuelve y que implementamos como prueba de concepto.