Odkar je človeštvo prišlo do prve programabilne naprave, je bilo ustvarjenih več kot dva tisoč programskih jezikov. In vsako leto njihovo število nenehno narašča. Pomagajo vzpostaviti komunikacijo med različnimi napravami v zapleteni tehnični opremi.
Programski jezik je formalni sistem znakov, ki se uporablja pri pisanju računalniških programov. Upoštevajo različna pravila (leksikalna, pomenska in skladenjska), ki določajo videz programa in dejanja, ki jih mora izvajati računalnik. Obstaja veliko število razredov programskih jezikov, ki so najprimernejši za izbrano predmetno področje, obstajajo celo odkrito komični. Imenujejo se ezoterični in niso namenjeni praktični uporabi. Na primer, obstajajo jeziki z literarno sintakso (Shakespeare, Chef), jeziki, ki otežujejo pisanje kode (Malbolge, ALPACA), ali z nečloveško logiko - Var'aq (uporablja logiko klingonskega jezika) dirka iz filma Zvezdne steze). In drugi stripovski jeziki, vendar poleg stripov obstaja še veliko strokovnih. Glavni razred, ki se trenutno uporablja, so objektno usmerjeni jeziki. To je visoka raven, ki je namenjena pisanju tako majhnih programov kot velikih programskih sistemov. Glavni predstavniki tega razreda so Java, C #, C ++, Ruby, Python, upoštevati pa je treba tudi logične programske jezike. Temeljijo na avtomatski dokazovalni teoremi in temeljijo na teoriji matematične logike. Najbolj znan programski jezik logike je Prolog. Uporablja predikatno logiko prvega reda. Kljub velikemu številu ustvarjenih jezikov in njihovi funkcionalnosti je vedno treba izbrati prava orodja za ustvarjanje programskih izdelkov. Če morate na primer implementirati aplikacijo odjemalec-strežnik, potem logični jezik za to očitno ni primeren. Zato je treba izbrati tistega, ki je najprimernejši za reševanje naloge.
