Μια γλώσσα προγραμματισμού που σχεδιάστηκε για τη λύση μιας συγκεκριμένης κλάσης προβλήματα. Παραδείγματα είναι οι γλώσσες επεξεργασίας λίστας, ανάκτηση πληροφοριών γλώσσες, γλώσσες προσομοίωσης.