The collection of all facts and rules available at some moment of execution time.

See Overall structure of Strawberry Prolog 'programs' and Prolog text execution .