Usar lenguajes que se basan en la lógica como PROLOG o CLIPS necesita que se cambie la manera de pensar a la hora de programar. La diferencia fundamental es que con estos lenguajes los programas declaran lo que hay que hacer pero no especifican explícitamente la manera de obtenerlo, por ello se denominan lenguajes declarativos.

La razón por la que es así es porque debajo de ellos se encuentra un motor de inferencia que utiliza mecanismos de demostración automática para encontrar la solución que cumple las condiciones especificadas por el programa.