En los lenguajes tradicionales, la programación consiste en indicar cómo resolver un problema mediante sentencias; en la programación lógica, se trabaja de una forma descriptiva, estableciendo relaciones entre entidades, indicando no cómo, sino qué hacer. Un algoritmo se construye especificando conocimiento en un lenguaje formal (lógica de primer orden), y el problema se resuelve mediante un mecanismo de inferencia (control) que actúa sobre aquél.
El curso Lógica de programación, tiene como finalidad proporcionar al estudiante las técnicas necesarias para generar en él, la disciplina rquerida para la creación de programas, utilizando las características más sobresalientes de los lenguajes de programación, en función del desarrollo intelectual del participante en la especialidad.