In Prolog, you arrive at solutions by logically inferring one thing from something already known.
Typically, a Prolog program isn't a sequence of actions--it's a collection of facts together with rules for drawing conclusions from those facts.
Prolog is a declarative language.