En este apartado, se abordarán algunas de las aplicaciones de la lógica de predicados. Se hce especial énfasis en el lenguaje de programación Prolog, así como de su uso en la inteligencia artificial.[4]