Una base de conocimiento puede conside­rarse como un conjunto de reglas que definen relaciones entre objetos; por esa razón se puede utilizar la máquina de inferencia interna que posee Prolog para el desarrollo de sistemas expertos.Con el objetivo de ayudar a resolver esta problemática, en el presente trabajo se exponen:• un enfoque general sobre la escritura de sistemas expertos en Prolog.• un conjunto de predicados Prolog que pueden usarse en apoyo a este enfoque.

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 Prolog se propicia que los alumnos lleguen a dominar sus mecanismos más importantes. Están disponibles 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 las listas, etc. Adicionalmente este sistema tiende a desarrollar en los estudiantes un correcto estilo de Programación Lógica.