Uma linguagem de programação cuja sintaxe e semântica se adaptam especificamente a um determinado campo, categoria ou enfoque de trabalho. Pesquise também Prolog.