Un llenguatge d'ordinador dissenyat per millorar la productivitat aconseguit per llenguatges d'alt ordre (tercera generació) i, sovint, a fer computació potència disponible a no-programadors. Característiques típicament inclouen un sistema de gestió de base de dades integrada, llenguatge de consulta, generador i facilitat de definició de pantalla. Característiques addicionals poden incloure un generador de gràfics, funció de suport de decisió, modelatge financer, capacitat de full de càlcul i funcions d'anàlisi estadística.