Question

A Prolog text statement of the form

?- sequence_of_goals.

Answering a question on behalf of Strawberry Prolog means trying to satisfy the goals in the sequence jointly. Goals get satisfied in the order of their occurrence in the sequence. In the course of satisfying the goals some goal may fail to get satisfied, and backtracking may take place.

After parsing the text submitted, Strawberry Prolog extracts the questions contained therein, and answers them in the order of their occurrence.

See Overall structure of Strawberry Prolog 'programs' and section Questions from the Tutorial for examples.