Δηλωτικός προγραμματισμός
Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Στην επιστήμη υπολογιστών δηλωτικός προγραμματισμός (declarative programming) είναι ένα προγραμματιστικό υπόδειγμα όπου, σε αντίθεση με τον προστακτικό προγραμματισμό, το ζητούμενο αποτέλεσμα υπολογίζεται περιγράφοντας απλώς τις επιθυμητές ιδιότητες του. Παραδείγματα γλωσσών δηλωτικού προγραμματισμού είναι η Haskell, η Prolog, η SQL, η HTML και η CSS.
