declarative language是什么意思