전산학 또는 프로그래밍 언어론에서 선언적 언어(declarative language)란 ‘어떻게’ 보다는 ‘무엇’에 대해 기술하는 방식의 컴퓨터 언어를 말한다. 구체적인 절차를 기술하는 대신 원하는 바를 선언한다는 의미에서 선언적 언어라 불리며, 반대되는 개념으로는 절차적 언어(procedural language) 또는 명령형 언어(imperative languafe) 등의 용어가 쓰인다.
대표적인 선언적 언어로는 HTML, CSS, SQL 등이 있다.