1. Ada variables are statically bound to types. Prolog variables are bound to types only when they are bound to values. A. True B. False

2. in static scoping calling sequence and scope can only be determined at runtime A. True B. False

Sol227:

1. A. True. In Ada, variables are declared with a specific type and cannot be assigned a value of a different type. In Prolog, variables are untyped and can be bound to values of any type.

2. B. False. In static scoping, the calling sequence and scope are determined at compile time, not at runtime. This means that the program structure is analyzed during compilation to determine the scope of variables and the calling sequence of functions, rather than at runtime when the program is executed.