On the diff between declarative and imperative programming... #readingToday
Declarative logic programming is different: it tries to search through known facts in order to reason whether new facts are true. One describes the end-state and looks for a valid path to justify it. In imperative programming one starts with the initial state and adds pieces step by step.
The Search for Certainty, Mark Burgess, 2013