A nonprocedural language that permits the user to declare a set of facts and to express queries or problems that use these facts.