Prolog
Lenguaje de programación lógica de 1972 (Alain Colmerauer, Marsella). Describe el mundo como hechos y reglas, luego consulta — el lenguaje busca las respuestas mediante unificación y backtracking.
Estándar en la enseñanza de la IA en los años 80 y 90. Respaldado por el «Proyecto de Ordenadores de Quinta Generación» de Japón (1982-92). Hoy es sobre todo académico y de nicho (un verificador de tipos para Erlang, partes de IBM Watson). SWI-Prolog es la implementación más usada.