Μια γλώσσα στην οποία ο χρήστης δηλώνει τι πρέπει να επιτευχθεί χωρίς να χρειάζεται να μέλος συγκεκριμένες οδηγίες που πρέπει να εκτελέσει στον υπολογιστή σε μια συγκεκριμένη ακολουθία.