Declaring and Using Modules

use(M)

uses a modules

use_prolog(M)

consults a prolog file

include(M)

includes a module (currently same as use(M))

include(M ImportList)

includes a module (currently same as use(M))

module(M ExportList)

declares a module place this at the top of the module