A declarative program is a collection of facts.