Resumen de Simulación de una máquina secuencial de programación lógica

José Jaime Ruz Ortiz , Fernando Sáenz Pérez

• español

  Este artículo describe la estructura y funcionamiento de una Máquina Secuencial de Programación Lógica (MSPL) simulada en Prolog. Nuestro objetivo fue construir un prototipo operacional de máquina abstracta, fácil de modificar, que ayudase a la depuración conceptual de las diferentes alternativas de diseño y que sirviese de instrumento pedagógico de los principios de funcionamiento de este tipo de arquitecturas. El trabajo se enmarca dentro de un proyecto en el que se están desarrollando diferentes herramientas de simulación encaminadas al diseño y evaluación de arquitecturas secuenciales y paralelas para programación lógica.

• English

  This paper describes the structure and operation of a simulated Sequential Logic Programming Machine (MSPL) using Prolog. Our goal has been to built an operational prototype of an abstract machine, easy to modify and capable of being used as an assistant to the conceptual debbuging of several design alternatives, and as a teacher of its basic concepts. This work is part of a project to develop different simulation tools used in hardware evaluation and design of sequential and parallel architectures for logic programming.