Декларативна мова (непроцедурна)

Декларативна мова являє собою не набір команд, а опис дій, які необхідно здійснити .

Побудова декларативної програми взагалі не вимагає алгоритмічного мислення, програма описує статичні відносини об'єктів, а динаміка знаходиться в механізмі перебору і прихована від програміста .