What is a nonprocedural language?

What are the two kinds of statements that populate a Prolog database?

. What is the primary application area for which Ada was designed?

. What are the concurrent program units of Ada called?

. What Ada construct provides support for abstract data types?

What populates the Smalltalk world?