2. Software Development, Computing Higher Declarative Languages February 25, 2014 Mr Stratton A declarative language makes use of facts and rules to solve the problem. Prolog is an example of a declarative language. More info.