Декларативно програмирање је парадигма компјутерског програмирања коју девелопер дефинира шта програм треба да постигне, а не експлицитно дефинише како би то требало радити. Овај приступ се природно подудара са програмском дефиницијом формалних логичких система и има предност што поједностављује програмирање неких апликација за паралелну обраду.
Декларативни програмски језици
- АБСЕТ
- Абсис
- Алпха
- Ант
- АСЦЕНД
- Атом
- АТС
- Броокс
- Цандле
- Цурри
- ЦЛП (Р)
- Цурл
- ЦицЛ
- Даталог
- ДАСЛ
- Депендент МЛ
- ЕЦЛ
- Ембеддед СКЛ
- Ерланг
- ЕАМЛ
- Ф-Логиц
- ФКСМЛ
- ГенеКсус
- Глове
- ГОАЛ
- Гофер
- ГткБуилдер
- Харбоур
- ХиЛог
- ХПЦЦ
- ЈаваФКС Сцрипт
- ЈМоделица
- КМ
- Литхе
- ЛООМ
- Луцид
- Лустер
- МетаФонт
- МетаПост
- Миранда
- Моделица
- МКСМЛ
- Оз
- Пан
- Пролог
- Прова
- ПТКЛ
- .КЛ
- КМЛ
- Куарк Фрамеворк
- КУИЛЛ
- РДКЛ
- СекуенцеЛ
- СИГНАЛ
- СМИЛ
- СПАРКЛ
- СКЛ
- Трансацтион логиц
- Веб Онтологи Лангуаге
- КСБасе
- КСПроц
- КССЛТ
Логика, парадигма, програмски језици, програмски термини