includes

Names of other theories to be loaded, declared via :- include(Name)/:- load(Name) directives.