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