Prolog es un lenguaje de programación lógica declarativo utilizado para la inteligencia artificial que permite resolver problemas mediante la declaración de hechos y relaciones entre objetos, así como reglas definidas sobre estos. En Prolog, el programador introduce información a una base de conocimiento y realiza consultas para obtener respuestas, simulando una conversación con la máquina.