Prolog (run-time) database
 

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 .