Declarative statements are used to declare variables and their data types, which is part of the semantic structure that defines how the program will process data.