Limbajul de programare logic Prolog bazat pe backtracking

Prolog este un limbaj specific inteligenței artificiale ( Prolog - Programming in Logic ) .Originea lui aparține lui Alain Calmaureur de la Universitatea din Marsilia, Franța. Inițial a fost conceput pentru analiza lexicală. Azi in mod curent exista mai multe implementări atât open source cât și proprietare. Printre cele mai bune implementari open source existente azi se numara swi-prolog.