Që nga koha kur njerëzimi doli me pajisjen e parë të programueshme, janë krijuar më shumë se dy mijë gjuhë programimi. Dhe çdo vit numri i tyre po rritet vazhdimisht. Ato ndihmojnë për të vendosur komunikimin midis pajisjeve të ndryshme në pajisjet komplekse teknike.
Një gjuhë programimi është një sistem zyrtar i shenjave që përdoret kur shkruhen programe kompjuterike. Ata i binden rregullave të ndryshme (leksikore, semantike dhe sintaksore) që përcaktojnë pamjen e programit dhe veprimet që duhet të kryhen nga kompjuteri. Ekziston një numër i madh i klasave të gjuhëve programuese që janë më të përshtatshme për fushën e zgjedhur të lëndës, madje ka edhe ato sinqerisht komike. Ata quhen ezoterikë dhe nuk janë të destinuara për përdorim praktik. Për shembull, ka gjuhë që kanë sintaksë letrare (Shakespeare, Chef), gjuhë të krijuara për ta bërë të vështirë shkrimin e kodit (Malbolge, ALPACA), ose me logjikë çnjerëzore - Var'aq (përdor logjikën e Klingon garë nga filmi Star Trek). Dhe gjuhë të tjera komike, por përveç komikes ekziston një numër i madh i atyre profesionale. Klasa kryesore që përdoret aktualisht janë gjuhë të orientuara drejt objektit. Ky është një nivel i lartë, i cili ka për qëllim shkrimin e programeve të vegjël dhe sistemeve të mëdha softuerike. Përfaqësuesit kryesorë të kësaj klase janë Java, C #, C ++, Ruby, Python. Gjuhët logjike të programimit gjithashtu duhet të shënohen. Ato bazohen në paradigmën automatike të provës së teoremës dhe bazohen në teorinë e logjikës matematikore. Gjuha më e famshme e programimit logjik është Prolog. Ai përdor logjikën kallëzuese të rendit të parë. Pavarësisht nga numri i madh i gjuhëve të krijuara dhe funksionaliteti i tyre, është gjithmonë e nevojshme të zgjidhni mjetet e duhura për krijimin e produkteve softuerike. Për shembull, nëse keni nevojë të implementoni një aplikacion klient-server, atëherë, padyshim, një gjuhë logjike nuk është e përshtatshme për këtë. Prandaj, është e nevojshme të zgjidhni atë që është më i përshtatshmi për zgjidhjen e detyrës.
