La programación como esfuerzo matemático para diseñar un algoritmo que resuelva un problema específico, junto con la tarea de codificación en un lenguaje ejecutable por un computador, puede definirse de forma precisa. Aun no siendo una tarea fácil, determinar si un programa es correcto y adecuado para un problema dado, puede realizarse mediante pruebas formales.

El objetivo de este trabajo es encontrar la metodología más óptima para determinar el valor de un algoritmo bajo un lenguaje de programación lógico como Prolog. Sin embargo, pese a que se centra en un lenguaje concreto, su estructura es aplicable a cualquier entorno de desarrollo.