Prolog (limbaj de programare)
Prolog este un limbaj specific inteligenței artificiale (Prolog - Programming in Logic). Originea lui aparține lui Alain Colmerauer de la Universitatea din Marsilia, Franța. Inițial a fost conceput pentru analiză lexicală. Azi există mai multe implementări, atât open source cât și proprietare.
Printre cele mai bune implementări open source existente azi se numără swi-prolog [1].