Prolog
De la Wikipedia, enciclopedia liberă
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[1].