Prolog
Linguaggio di programmazione logica del 1972 (Alain Colmerauer, Marsiglia). Si descrive il mondo con fatti e regole, poi si interroga: il linguaggio cerca le risposte tramite unificazione e backtracking.
Standard nell'insegnamento dell'IA negli anni Ottanta e Novanta, sostenuto dal progetto giapponese dei «computer di quinta generazione» (1982–92). Oggi è usato soprattutto in ambito accademico e in applicazioni di nicchia (il typechecker di Erlang, parti di IBM Watson). SWI-Prolog è l'implementazione più diffusa.