Modules

module directive

define a module

export directive

make predicates available outside a module

use_module directive

make predicates from other module available

lib directive

make predicates from library available

:

call a predicate from a particular module