A megengedett deklarációk a következők:
:- type
:- pred
:- func
:- inst
:- mode
:- typeclass
:- instance
:- pragma
:- promise
:- module
:- interface
:- implementation
:- import_module
:- use_module
:- include_module
:- end_module
A type, pred és func deklarációk a típusrendszerben hasznosak, az inst és a mode deklarációk a módrendszerben, a pragma deklarációk a C interfészben és a fordítóprogramnak az inline-osításhoz adott útmutatásban hasznos, a maradékot pedig a modulrendszerben használjuk. Részletes leírásuk a nekik megfelelő fejezetekben található.