Prolog
1972’den kalma mantıksal programlama dili (Alain Colmerauer, Marsilya). Dünyayı olgular ve kurallar olarak tanımlarsınız, sonra sorgularsınız — dil yanıtları birleştirme ve geri izleme ile arar.
80’lerde ve 90’larda yapay zekâ eğitiminin standardıydı. Japonya’nın “Beşinci Kuşak Bilgisayar Projesi” (1982–92) onu destekledi. Bugün çoğunlukla akademik ve nişlerde kullanılır (Erlang’ın tür denetleyicisi, IBM Watson’ın bazı parçaları). En çok kullanılan gerçeklemesi SWI-Prolog’dur.