Prolog

Linguaggio logico in cui si dichiarano fatti e regole, e il sistema deduce le risposte alle interrogazioni. È usato in intelligenza artificiale, sistemi esperti ed elaborazione del linguaggio naturale.