Logsim : sistema de apoyo al aprendizaje de la programación lógica

Abstract

En el presente trabajo se describe el sistema LogSim de apoyo al aprendizaje de la programación lógica, el cual se viene utilizando en la carrera de licenciatura en Ciencias de la Computación en la Universidad Central de Las Villas (UCLV, Cuba). Mediante la simulación del comportamiento del lenguaje Porlog se propicia que los alumnos lleguen a dominar sus mecanismos más importantes. Están disponible un conjunto de programas ilustrativos que, al mostrar su trayectoria de ejecución, ayudan a entender conceptos tales como los cortes, el backtracking, el uso de listas, etc. Adicionalmente este sistema tiende a desarrollar en los estudiantes un correcto estilo de programación lógica.