Języki proceduralne są formą języka programowania komputerowego, który krok po kroku podaje instrukcje w kolejności, w jakiej komputer musi je wykonywać. Przykładami języków proceduralnych są C i Fortran.
Programiści komputerowi tworzą języki, które pozwalają im pisać instrukcje, które maszyna może zrozumieć, przetłumaczyć i wykonać. Każdy język programowania ma specjalistyczny cel, a programiści używają języków proceduralnych do pisania zestawów instrukcji, które przechodzą od jednego kroku do następnego w określonej kolejności, zgodnie z University of Colorado Boulder. Instrukcje te informują komputer o tym, co należy zrobić, aby komputer pobierał instrukcje i przetwarzał je za pomocą wewnętrznego języka lub kodu maszynowego, co również ma charakter proceduralny.
Programy napisane przy użyciu języków proceduralnych, takich jak Basic, C, C ++ i Fortran, zawierają główny blok programu, który rozpoczyna listę instrukcji krok po kroku. Mogą być również podprogramy i funkcje, które ułatwiają podzielenie długiej listy instrukcji na podzbiory. Ogólnie rzecz biorąc, języki proceduralne najlepiej nadają się do mniejszych projektów.
Ponieważ zarówno język programowania, jak i język komputera są proceduralne, ta forma programowania jest wydajna i prosta. Dzięki temu języki proceduralne są jednym z tradycyjnych typów poznawanych przez uczniów po raz pierwszy ze względu na naturalny sposób, w jaki języki przekazują instrukcje na liście.