Proyecto universitario de asignatura de programación lógica