非程序性而有较佳亲和性的语言。其特徵为结合程序性与非程序性的特徵，抽象层次高，让使用者使用方便的语言。此种语言目前大多是应用在资料库管理与操作方面，如质询语言、程式产生器、决策支援语言、型式规范语言等。