The correct option is:
Declarative; imperative
Declarative languages focus on what the program should accomplish, expressing statements that are relations, facts, and rules. In contrast, imperative languages are characterized by their use of mathematical constructs and programming logic that involves changing states and explicitly outlining the steps needed to achieve a goal.