Module structure

The general form of a module is:

1.

module definition

2.

module comment or inclusion of a spec file

3.

exported/reexported predicates

4.

used modules

5.

used libraries

6.

local variable definitions

7.

other global operations and settings

8.

predicate definitions